On May 8, 2010, at 1:38 PM, Anthony G. Basile wrote: > So, I vote for putting the patch master, for whatever that's worth. This has already happened, see https://gitweb.torproject.org//tor.git?a=commit;h=8ba00e4305fe87c540c452271bc6f5c461738777 for reference. Sebastian