commit b71f93f532fc8d509eb241c52b832240e038981d Merge: a0ab950bf bbdf56aed Author: Nick Mathewson <nickm at torproject.org> Date: Fri Nov 2 09:06:38 2018 -0400 Merge branch 'maint-0.3.5'