12 Aug
2019
12 Aug
'19
3:11 a.m.
commit 6ed56ee4eaf679d4352d034af5951d36fc9a6f8e Merge: 2d4772dc4 802ac8ad6 Author: teor teor@torproject.org Date: Mon Aug 12 09:44:46 2019 +1000
Merge remote-tracking branch 'tor-github/pr/952' into maint-0.3.5
changes/bug30189 | 4 ++++ src/lib/log/util_bug.c | 14 ++++++++++++++ src/lib/log/util_bug.h | 8 +++++--- 3 files changed, 23 insertions(+), 3 deletions(-)