Version number and release date for 2.1.2

2012-09-18 21:07:43 +02:00
parent 1c5068edb2
commit 1e3176ed70
9 changed files with 7 additions and 7 deletions
--- a/2
+++ b/2
@@ -1,6 +1,6 @@
 ------ current release ---------------------------

-2.1.2 ()
+2.1.2 (2012-09-18)

 Bugs
 + Bug fix release regarding #1104, which causes duplicate UUIDs during