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

[nickm at torproject.org]

commit b65166750d656f6f503e569f733b1f6c10d1c7f4
Merge: c4c372f28 da264f7c7
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Dec 11 09:25:46 2018 -0500

    Merge remote-tracking branch 'rl1987/ticket28007_take2'

 changes/ticket28007        | 3 +++
 scripts/test/scan-build.sh | 5 +++++
 2 files changed, 8 insertions(+)