although we need to caveat this with is it normal working hours 9 - 5 (or equivalent), standard University working days (so not bank holidays or Christmas closure periods - so Bath might kick off the new year rather than finishing 2019 off!).
James D. says
We shouldn’t deviate from ARCHER by accident, certainly.
Bath closes over Xmas/NY period, like most universities (?but unlike MO).
I think we should agree principles first, and then hack special cases.
Chris K. says:
James D. says