Changelog re #284
Merge branch '1.11' into 1.12
Merge branch '1.12' into 1.13
Merge branch '1.13'