Release 0.13. v0.13
authorJan Nieuwenhuizen <janneke@gnu.org>
Fri, 27 Apr 2018 21:57:42 +0000 (23:57 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Fri, 27 Apr 2018 21:57:42 +0000 (23:57 +0200)
commit1fdccefe02af992898ca97495ff3c65555e60e8d
tree27a30f500f44a7ab894de821d2208a80496b0f1f
parent6e32754a980acd861e7e225287b8b6eaab71e3a0
Release 0.13.

* configure (VERSION): Bump to 0.13.
configure