Merge branch 'tor-gitlab/mr/778' into maint-0.4.8
commit6df27ae9537dbc67846a5025945636b489674f0d
authorDavid Goulet <dgoulet@torproject.org>
Thu, 9 Nov 2023 14:10:52 +0000 (9 09:10 -0500)
committerDavid Goulet <dgoulet@torproject.org>
Thu, 9 Nov 2023 14:10:52 +0000 (9 09:10 -0500)
treec43438bfbafcf7bcbb8b59d421f23dd9e3e325b7
parentc7d8501da87c6c6254880b27777cf6a15cd5484d
parentd4d78f5033ec9e09c6e680987f12cebd5e3a282f
Merge branch 'tor-gitlab/mr/778' into maint-0.4.8