--- Gnu-Mach/doc/version.texi	2020/09/02 04:46:45	1.1
+++ Gnu-Mach/doc/version.texi	2020/09/02 04:53:31	1.1.1.4
@@ -1,4 +1,4 @@
-@set UPDATED 27 September 2013
-@set UPDATED-MONTH September 2013
-@set EDITION 1.4
-@set VERSION 1.4
+@set UPDATED 16 May 2016
+@set UPDATED-MONTH May 2016
+@set EDITION 1.7
+@set VERSION 1.7