[tor-commits] [tor/master] Merge branch 'ticket31373_042_01_squashed'

[nickm at torproject.org]

commit 0081d6c112154ea1e4c1c6ad62e22406f2594e62
Merge: 5c09230b4 7fcf999c6
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Oct 17 10:09:16 2019 -0400

    Merge branch 'ticket31373_042_01_squashed'

 changes/ticket31373 |   3 +
 configure.ac        | 127 +++++++++++++++++++++++++++++
 m4/pprint.m4        | 228 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 358 insertions(+)