[tor-commits] [tor] 01/01: Merge branch 'maint-0.4.7' into release-0.4.7

[gitolite role]

This is an automated email from the git hooks/post-receive script.

dgoulet pushed a commit to branch release-0.4.7
in repository tor.

commit 0b38e2e75a96bb84317cf0d9ff9ba879b17b5ff3
Merge: f731134697 21b3397f9b
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Mon Feb 13 10:16:13 2023 -0500

    Merge branch 'maint-0.4.7' into release-0.4.7

 changes/bug40751            | 3 +++
 src/feature/hs/hs_metrics.h | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.