[tor-commits] [tor/master] Merge branch 'tor-github/pr/954'

[dgoulet at torproject.org]

commit 2aa441b88e089c9aa650f25dd1b109bf14bc451d
Merge: b3492d53c 3105081c2
Author: David Goulet <dgoulet at torproject.org>
Date:   Fri May 3 13:11:03 2019 -0400

    Merge branch 'tor-github/pr/954'

 src/lib/log/util_bug.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)