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

[teor@xxxxxxxxxxxxxx]

commit 965f0d891232f3ece13f8310c9c01f71ec55f25d
Merge: 583ed7c6e 809a3a748
Author: teor <teor@xxxxxxxxxxxxxx>
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(-)

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