Changes since release 9.19



Automatic builds 2018-12-06