“Have a happy and safe summer! Classes resume on August 17th!”