From 3c76115aecb7ab2cb6f9cd39b79938f3044ef6cc Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Tue, 30 Oct 2018 10:48:00 +0100 Subject: [PATCH] Update version.texi --- doc/version.texi | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/version.texi b/doc/version.texi index 1d4723489..fb8684c24 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ -@set UPDATED 4 September 2017 -@set UPDATED-MONTH September 2017 -@set EDITION 2.1.1 -@set VERSION 2.1.1 +@set UPDATED 18 June 2018 +@set UPDATED-MONTH June 2018 +@set EDITION 2.1.2 +@set VERSION 2.1.2