diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/version.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/version.texi b/docs/version.texi index e300ce7..bb7a044 100644 --- a/docs/version.texi +++ b/docs/version.texi @@ -1,4 +1,4 @@ -@set UPDATED 8 October 2018 -@set UPDATED-MONTH October 2018 -@set EDITION 2 -@set VERSION 7.17 +@set UPDATED 15 November 2021 +@set UPDATED-MONTH November 2021 +@set EDITION 3 +@set VERSION 7.20 |