Merge remote-tracking branch 'tor-github/pr/1390'
commit52194c86811a518f94291492fe6ddd03ef632c3b
authorNick Mathewson <nickm@torproject.org>
Mon, 7 Oct 2019 14:13:32 +0000 (7 10:13 -0400)
committerNick Mathewson <nickm@torproject.org>
Mon, 7 Oct 2019 14:13:32 +0000 (7 10:13 -0400)
tree3766c982384be87f0630c97fd3712636ad4c7ab4
parent5fb5019a946d2ea97946e6865e001ce3a9b912b0
parent8c4c58cc8d9b2a1085bd64e725ec4f33c79745a7
Merge remote-tracking branch 'tor-github/pr/1390'
configure.ac