v0.12.0

nojhan
Thu, 04 Jun 2020 09:56:36 +0200

Release version 0, mark 12, unpatched.