[tor-commits] [tor/master] Merge remote-tracking branch 'rl1987/ticket28551'

[nickm at torproject.org]

commit c4c372f28151094b8f86337d2fecc269d7802038
Merge: 2ccb9e944 ecaecaddd
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Dec 11 09:24:35 2018 -0500

    Merge remote-tracking branch 'rl1987/ticket28551'

 .travis.yml         | 3 +++
 changes/ticket28551 | 3 +++
 2 files changed, 6 insertions(+)