I noticed it said 14 CET (15 CET), change to 14 CET / 15 CET
In the meantime change them to 14 CET/CEST just in case someone
wonders "what about summer time", like someone once asked when we
had only one. This isn't perfect but maybe this is simpler than the
other options?
Review: confirm that the stated time is correct (it matches hackmd now)
I noticed it said 14 CET (15 CET), change to 14 CET / 15 CET
In the meantime change them to 14 CET/CEST just in case someone wonders "what about summer time", like someone once asked when we had only one. This isn't perfect but maybe this is simpler than the other options?
Review: confirm that the stated time is correct (it matches hackmd now)