diff --git a/config/settings.properties b/config/settings.properties index b9352341..21ed0a89 100644 --- a/config/settings.properties +++ b/config/settings.properties @@ -1,7 +1,7 @@ -#Thu Nov 12 16:10:01 CET 2020 +#Mon Nov 16 15:28:03 CET 2020 pgroup=p17274 proposal=test -proposer= +proposer=bl-dev prefix= sample=none authors=Matthias Muntwiler