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

[nickm@xxxxxxxxxxxxxx]

commit d4f558e385fd9e3f757278653d22290c3816c39e
Merge: 4002a84ff befcd6ab7
Author: Nick Mathewson <nickm@xxxxxxxxxxxxxx>
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(-)

_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits