[tor-project] Monday holiday in the U.S.

Hey all. Monday is Memorial Day in the United States: https://en.wikipedia.org/wiki/Memorial_Day The Tor office in Seattle will officially be closed on Monday. All other U.S. Tor people are invited to take a holiday. And those of you who live in other countries, please take off an appropriate holiday wherever you are. :)

Our new human resources manager, Erin Wyatt, will be starting on June 6. Coming up with a good holiday policy will be one of the (many) things on her to-do list. Shari