[tor-commits] [tor/master] Merge branch 'tor-github/pr/1171' into maint-0.4.1

[dgoulet@xxxxxxxxxxxxxx]

commit 2a4b156978c8f25c6c5850a393f27fcbfba5466a
Merge: b2a6b5282 167d873bd
Author: David Goulet <dgoulet@xxxxxxxxxxxxxx>
Date:   Thu Jul 25 09:02:53 2019 -0400

    Merge branch 'tor-github/pr/1171' into maint-0.4.1

 changes/bug31080_041                 |  4 ++
 src/feature/control/control_events.c |  2 +-
 src/feature/control/control_events.h |  3 +-
 src/lib/defs/include.am              |  1 +
 src/lib/defs/logging_types.h         | 23 ++++++++++
 src/lib/err/.may_include             |  3 +-
 src/lib/err/backtrace.c              |  4 +-
 src/lib/err/backtrace.h              |  7 ++-
 src/lib/log/.may_include             |  1 +
 src/lib/log/log.c                    |  6 ++-
 src/lib/log/log.h                    | 83 ++++++++++++++++++------------------
 src/rust/tor_log/tor_log.rs          |  8 ++--
 src/test/test_logging.c              |  2 +-
 src/test/test_options.c              |  4 +-
 src/test/testing_common.c            |  2 +-
 15 files changed, 95 insertions(+), 58 deletions(-)



_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits