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

commit cf1f03fe1d2a3b6e500ef1bf716976d6c2d9f192 Merge: e8cce1058c 9f61d9238c Author: George Kadianakis <desnacked@riseup.net> Date: Fri Feb 19 13:25:47 2021 +0200 Merge remote-tracking branch 'tor-gitlab/mr/308' changes/ticket40295 | 3 +++ src/core/mainloop/connection.c | 2 ++ src/feature/metrics/metrics.c | 9 +++++++++ src/feature/metrics/metrics.h | 1 + 4 files changed, 15 insertions(+)