Tickets #663, #670 and #671 (martin)
--- src/doc/CHANGES-10.1 unknown 1.1.2.4+++ src/doc/CHANGES-10.1 unknown 1.1.2.5