Hi all, we need to move the next meeting by one day. It will be in #tor-dev on Nov 1, 18:00 UTC. (yes, even if in some parts of the world daylight saving time will already end this weekend) Georg