[tor-commits] [tor/master] Merge remote-tracking branch 'tor-gitlab/mr/214' into master

[nickm at torproject.org]

commit c4e0b28ecb90657eba1aaee8a590b408aaaad19a
Merge: 6fcb94bead 4382e977f7
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Nov 19 10:42:04 2020 -0500

    Merge remote-tracking branch 'tor-gitlab/mr/214' into master

 changes/ticket32102       |   3 +
 configure.ac              |  13 ++
 m4/ax_compiler_vendor.m4  |  88 ++++++++
 m4/ax_compiler_version.m4 | 529 ++++++++++++++++++++++++++++++++++++++++++++++
 src/app/config/config.c   |  19 ++
 5 files changed, 652 insertions(+)