Changes since release 9.18



Automatic builds 2017-07-19