Changes since release 9.19



Automatic builds 2018-05-30