Revision 366541b989927187c4ca70490a35615d3fef2dce

Committed on 10/06/2018 12:54 am by Sebastian Bergmann <[email protected]> [GitHub Diff]

Prepare release