[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/875'

teor at torproject.org teor at torproject.org
Tue Apr 2 01:50:44 UTC 2019


commit 965f0d891232f3ece13f8310c9c01f71ec55f25d
Merge: 583ed7c6e 809a3a748
Author: teor <teor at torproject.org>
Date:   Tue Apr 2 11:47:05 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/875'

 src/lib/log/util_bug.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)



More information about the tor-commits mailing list