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

commit 622a057e7e5d9f757d040283c7089d1fab847ae3 Merge: af9787944 ee12c11dd Author: Nick Mathewson <nickm@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(-)