Hello all,

please note that the US has not yet changed to "standard" time yet and is still (where observed) using daylight savings time. Daylight saving time 2020 in the US will end on November 1st in 2020.

Yours, Roland

Please update the Wiki with agenda items for Thursday's meeting. Thanks!

https://docs.einsteintoolkit.org/et-docs/meeting_agenda

--The Maintainers _______________________________________________ Users mailing list Users@einsteintoolkit.org http://lists.einsteintoolkit.org/mailman/listinfo/users