Today was the first day of the fall semester. The library was fairly busy, which is a good thing (it's been so slow all summer). We do have a 'masks required' policy for all campus buildings, which is good, but they've relaxed all other mandates, including the social distancing rules (everyone is just being told to be sensible and stay at a distance from others).
It would have been a good day, except that the A/C wasn't working well and although the first floor was pretty cool, the 2nd (and I'm guessing 3rd, but I didn't go up there) was warmer than it should have been. And my office