commit 82fea1b0dffe2cb808e997b891106651d6a7bb97
Merge: 72f775e d780cd5
Author: Nick Mathewson <nickm at torproject.org>
Date:   Fri Jun 14 01:45:35 2013 -0400
    Merge remote-tracking branch 'origin/maint-0.2.3' into maint-0.2.4
    
    Using "ours" strategy to avoid taking changes.