[tor-commits] [tor/master] Merge branch 'ticket27252-029' into ticket27252-032

commit 99a2ecc79562dc340f73f998e5c441f3a7968e1a Merge: c1ad40627 7cea5a287 Author: teor teor@torproject.org Date: Thu Aug 23 18:15:55 2018 +1000

Merge branch 'ticket27252-029' into ticket27252-032

This commit is already implemented in 0.3.2 and later: - Travis: Skip a duplicate hardening-off build in Tor 0.2.9

.travis.yml | 10 +++++++++- changes/ticket27252 | 6 ++++++ 2 files changed, 15 insertions(+), 1 deletion(-)