[tor-commits] [tor/release-0.4.0] Merge branch 'maint-0.4.0' into release-0.4.0

15 May 2019


      commit 34e03b9ecca3e5e93623153d0e7311814d5aa1cd
Merge: 72e799d28 7e3f7ab40
Author: Nick Mathewson <nickm@torproject.org>
Date:   Wed May 15 07:41:42 2019 -0400

    Merge branch 'maint-0.4.0' into release-0.4.0

[tor-commits] [tor/release-0.4.0] Merge branch 'maint-0.4.0' into release-0.4.0

nickm＠torproject.org