[tor-commits] [tor/maint-0.4.2] Merge branch 'maint-0.4.1' into maint-0.4.2

9 Dec 2019


      commit 17561434ebcf01eaa86737b2acfb65df8b57a8b5
Merge: 3248630fc 7174a80ed
Author: Nick Mathewson <nickm@torproject.org>
Date:   Mon Dec 9 16:03:01 2019 -0500

    Merge branch 'maint-0.4.1' into maint-0.4.2
    
    "ours" to avoid version bump.

[tor-commits] [tor/maint-0.4.2] Merge branch 'maint-0.4.1' into maint-0.4.2

nickm＠torproject.org