[tor-commits] [tor/master] Merge remote-tracking branch 'public/string_coverage'

[nickm at torproject.org]

commit 622a057e7e5d9f757d040283c7089d1fab847ae3
Merge: af9787944 ee12c11dd
Author: Nick Mathewson <nickm at torproject.org>
Date:   Fri Aug 3 07:03:29 2018 -0400

    Merge remote-tracking branch 'public/string_coverage'

 src/lib/string/printf.c |  2 +-
 src/test/test_util.c    | 15 +++++++++++++++
 2 files changed, 16 insertions(+), 1 deletion(-)