Changes since release 9.17



Automatic builds 2017-07-19