Release 0.15.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 10 Jun 2018 19:10:54 +0000 (21:10 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 10 Jun 2018 19:10:54 +0000 (21:10 +0200)
commit1b80c8a76f64c96ebeb94d5df9f0f8e44a3b9f02
tree56518b0fd2b090bcac1f3ff2ef6624d9efe43027
parent25651c6d515a99802081ee664568957f1fc40982
Release 0.15.

* configure (VERSION): Bump to 0.15.
configure