Hi all, we continue to have a somewhat unusual meeting schedule by dropping the next regular meeting which would have been on Monday, July 18. Therefore, the next meeting will be on Monday, July 25, 18:00 UTC in #tor-dev on irc.oftc.net. Georg