diff --git a/build.num b/build.num
index 10a4d22..5d82ae7 100644
--- a/build.num
+++ b/build.num
@@ -1,3 +1,3 @@
 #Build Number for ANT. Do not edit!
-#Thu Jan 23 09:42:44 CET 2020
-build.number=11
+#Thu Jan 23 10:37:42 CET 2020
+build.number=12