Does anyone know whether the library is open today? The opening hours page says it is open 9-1 on saturday, except during the christmas period, but I'm not sure whether this still counts as the christmas period since the revision period doesn't officially start until monday.
Thanks