Changes since release 9.13

Automatic builds 2014-07-26