diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-06-28 04:19:22 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-06-28 04:19:22 +0200 |
commit | c4f76880e9589a757a194c19a4526599dfe71f50 (patch) | |
tree | c66def0aa296e781c51dfc51c8bba9d8ac51189b /doc/version.texi | |
parent | 76ef1d8e3249e82a6965fd17157bee00a7857ff3 (diff) | |
parent | 7b65dbd4ebade81d504cfe5e681292a58ad1fdf0 (diff) |
Update upstream source from tag 'upstream/0.9.10'
Update to upstream version '0.9.10'
with Debian dir 9736048cfd7ea97640dba10ba42a3839100c5694
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 23c85aa..eef982b 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ -@set UPDATED 12 February 2018 -@set UPDATED-MONTH February 2018 -@set EDITION 0.9.9 -@set VERSION 0.9.9 +@set UPDATED 25 May 2018 +@set UPDATED-MONTH May 2018 +@set EDITION 0.9.10 +@set VERSION 0.9.10 |