Release 0.12. v0.12
authorJan Nieuwenhuizen <janneke@gnu.org>
Fri, 6 Apr 2018 05:24:05 +0000 (07:24 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Fri, 6 Apr 2018 05:24:05 +0000 (07:24 +0200)
commit0330aab202188306aa7676badfa3edafab707403
treec9a3946c95c072cb8cfa6da9adc0df34ecb29f14
parentad135d3752383414fee63c36cf19bd056a41b0ff
Release 0.12.

* configure (VERSION): Bump to 0.12.
configure