diff --git a/config/settings.properties b/config/settings.properties
index 151b78c3..b617af07 100644
--- a/config/settings.properties
+++ b/config/settings.properties
@@ -1,4 +1,4 @@
-#Tue Jun 09 09:36:20 CEST 2020
+#Tue Jun 09 10:33:31 CEST 2020
 pgroup=p17274
 proposal=
 proposer=bl-dev