[tor-commits] [tor/master] Merge branch 'tor-gitlab/mr/188'

commit 8b240fbe404ce7505c7b2c661dae66d8ecb6c904 Merge: 7a75a1064f f7d0bde4f0 Author: David Goulet dgoulet@torproject.org Date: Mon Nov 2 13:09:15 2020 -0500

Merge branch 'tor-gitlab/mr/188'

changes/ticket22473 | 3 + src/feature/control/control_getinfo.c | 13 ----- src/feature/control/fmt_serverstatus.c | 103 --------------------------------- src/feature/control/fmt_serverstatus.h | 18 ------ src/feature/control/include.am | 2 - 5 files changed, 3 insertions(+), 136 deletions(-)