diff --git a/config/settings.properties b/config/settings.properties index eb70b04e..f8ac51f4 100644 --- a/config/settings.properties +++ b/config/settings.properties @@ -1,4 +1,4 @@ -#Mon Oct 24 17:15:13 CEST 2022 +#Mon Oct 24 17:23:09 CEST 2022 pgroup=p19371 proposal=GeTe proposer=soudna_z