[tor-commits] [tor/master] Merge branch 'bug31571_035' into bug31571_040

[dgoulet at torproject.org]

commit 0cee6f498c1c9bb2f9fc05605bd0f11617d9d809
Merge: a52a5e009 a836dd253
Author: teor <teor at torproject.org>
Date:   Wed Sep 4 13:57:31 2019 +1000

    Merge branch 'bug31571_035' into bug31571_040

 changes/bug31571        |  7 +++++++
 src/lib/err/backtrace.c | 42 +++++++++++++++++++++++++++++++-----------
 src/lib/err/backtrace.h |  1 +
 src/lib/err/torerr.c    | 11 +++++++++--
 4 files changed, 48 insertions(+), 13 deletions(-)