Revision a7af0201285445c9c73c4bdf869c486e36b41604

Committed on 18/02/2019 1:23 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

Prepare release