Revision 23a200a60552cb9ba483a8d1e106c70fb0be0bb9

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

Prepare release