Revision a46438e723a2b5bfd6ea4f299ecc0c7a1db1112c

Committed on 13/03/2019 2:34 am by Arne Blankerts <Arne@Blankerts.de> [GitHub Diff]

Release 0.12.0