Changes for release 1.13.0.