Fix 3.1.2 release date in the change log and the manual

This commit is contained in:
Vadim Zeitlin 2018-12-08 19:09:17 +01:00
parent 2e007cb3ec
commit aef36f912a
2 changed files with 2 additions and 2 deletions

View File

@ -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:

View File

@ -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