Revision 651e95a71ff705faae24d18ef5e4c7c8c5050f9a

Committed on 15/02/2019 6:06 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

Prepare release