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