I'll be holding office hours on Thursday from 1:30-2:30pm next week, as
per the usual. It should be noted that I won't be holding office hours on
July 10th; normal office hours will resume the week afterwards (the week
of the 17th). I'll still be able to answer e-mail and newsgroup posts
during that week.

- Adam Bains