[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/707' into maint-0.4.0

nickm at torproject.org nickm at torproject.org
Tue Feb 19 16:34:46 UTC 2019


commit b5f3a3d6a76ffd7727833c2b1901629c9f23a99d
Merge: 26873bc4e 384c5c618
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Feb 19 11:34:21 2019 -0500

    Merge remote-tracking branch 'tor-github/pr/707' into maint-0.4.0

 src/test/include.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)





More information about the tor-commits mailing list