[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/466'

[nickm at torproject.org]

commit c8892b53ecaba5c14be6cf238baf4527098a8f1f
Merge: 8020d6fb0 2f0744b3e
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Nov 6 15:35:45 2018 -0500

    Merge remote-tracking branch 'tor-github/pr/466'

 changes/ticket28077          | 3 +++
 src/rust/tor_util/strings.rs | 6 +-----
 2 files changed, 4 insertions(+), 5 deletions(-)