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

[nickm at torproject.org]

commit d4f558e385fd9e3f757278653d22290c3816c39e
Merge: 4002a84ff befcd6ab7
Author: Nick Mathewson <nickm at torproject.org>
Date:   Wed Dec 5 09:02:49 2018 -0500

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

 changes/ticket28012                     |  3 +++
 scripts/maint/updateRustDependencies.sh | 18 +++++++++---------
 2 files changed, 12 insertions(+), 9 deletions(-)