Hi all,

Next Monday is Memorial Day in the U.S. and we'll therefore move the meeting by one day. New meeting time for next week is:

Tuesday, May 30, 1800 UTC. As usual we'll gather in #tor-dev for status updates and items that need further discussion. Feel free to drop by!

Georg