diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-07-08 23:15:22 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-07-08 23:15:22 +0200 |
commit | 853c9cf3718db7c9f6d723e45031016231e1cbd1 (patch) | |
tree | e6a5cafe819de3d14665da32bfd87259b089ec02 /doc/version.texi | |
parent | 7b350538dddb27a4513158cb6b6405b85f175ad1 (diff) | |
parent | 10bd216b0099d2ae8cb22c664fb725165096f95c (diff) |
Merge branch 'release/debian/0.9.10-1'debian/0.9.10-1
Diffstat (limited to 'doc/version.texi')
-rw-r--r-- | doc/version.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/version.texi b/doc/version.texi index e2c015cc..eef982b6 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ -@set UPDATED 30 November 2017 -@set UPDATED-MONTH November 2017 -@set EDITION 0.9.8 -@set VERSION 0.9.8 +@set UPDATED 25 May 2018 +@set UPDATED-MONTH May 2018 +@set EDITION 0.9.10 +@set VERSION 0.9.10 |