diff options
Diffstat (limited to 'docs/version.texi')
| -rw-r--r-- | docs/version.texi | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/docs/version.texi b/docs/version.texi index 7ca3e74..e300ce7 100644 --- a/docs/version.texi +++ b/docs/version.texi @@ -1,5 +1,4 @@ -@set UPDATED 10 February 2018 -@set UPDATED-MONTH February 2018 +@set UPDATED 8 October 2018 +@set UPDATED-MONTH October 2018 @set EDITION 2 -@set VERSION 7.2 - +@set VERSION 7.17 |