Revision c0c26c9188b538bfa985ae10c9f05d278f12060d

Committed on 06/02/2020 10:09 pm by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

Prepare release