From aef36f912ae8df813397d71526b3ecc0cf46071c Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Sat, 8 Dec 2018 19:09:17 +0100 Subject: [PATCH] Fix 3.1.2 release date in the change log and the manual --- docs/changes.txt | 2 +- docs/doxygen/mainpages/manual.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/changes.txt b/docs/changes.txt index 70fc9f5c6d..e12299d2ad 100644 --- a/docs/changes.txt +++ b/docs/changes.txt @@ -102,7 +102,7 @@ Changes in behaviour which may result in build errors removing its name. -3.1.2: (released 2018-??-??) +3.1.2: (released 2018-12-10) ---------------------------- All: diff --git a/docs/doxygen/mainpages/manual.h b/docs/doxygen/mainpages/manual.h index aa180ff0df..5251aebe80 100644 --- a/docs/doxygen/mainpages/manual.h +++ b/docs/doxygen/mainpages/manual.h @@ -14,7 +14,7 @@ @author Julian Smart, Vadim Zeitlin, Robin Dunn, Stefan Csomor, Bryan Petty, Francesco Montorsi, Robert Roebling et al -@date February 19, 2018 +@date December 10, 2018 @n