Changes since release 9.20



Automatic builds 2018-12-06