[tor-commits] [tor/master] Merge branch 'maint-0.4.0'

15 May 2019


      commit f664c0c31885eac5d36298772d4ecf2e10a10021
Merge: 1de11dc47 7e3f7ab40
Author: Nick Mathewson <nickm@torproject.org>
Date:   Wed May 15 07:41:42 2019 -0400

    Merge branch 'maint-0.4.0'

[tor-commits] [tor/master] Merge branch 'maint-0.4.0'

nickm＠torproject.org