Real-time working group meeting times changed: now Mon 5 p.m. CET

We have changed the meeting times to make them more convenient for the US Pacific coast.
The next meeting is on Mon, the 5th of Dec, 8 a.m. PST / 5 p.m. CET.
Please see GitHub - ros-realtime/community: WG governance model & list of projects for more information