an extra half-hour on Mon Oct 22 (for those who want to)
On Mon Oct 22 we take another extra half-hour-or-so, from 15:15, in the UE 32 room -- for those who want to. See previous similar message for Mon Oct 8.
Published Oct. 16, 2018 11:33 PM
- Last modified Oct. 16, 2018 11:33 PM