diff --git a/config/settings.properties b/config/settings.properties index 454c1608..e059793d 100644 --- a/config/settings.properties +++ b/config/settings.properties @@ -1,4 +1,4 @@ -#Wed Nov 23 14:46:53 CET 2022 +#Wed Nov 23 16:35:44 CET 2022 pgroup=p19371 proposal=GeTe proposer=soudna_z