Merge branch 'bug40828' into 'main'
commit08ae74056f82f4090bda1e3a85887bf029f3ee1c
authorDavid Goulet <dgoulet@torproject.org>
Mon, 31 Jul 2023 15:43:33 +0000 (31 15:43 +0000)
committerDavid Goulet <dgoulet@torproject.org>
Mon, 31 Jul 2023 15:43:33 +0000 (31 15:43 +0000)
tree632870bcc70a54f6207a11ce6897d48e50f062c4
parent4667195deded5e34d93ef9984ff091b2ae822fbb
parentf26942cb0cf67f8709fddb7857d688490a248ea4
Merge branch 'bug40828' into 'main'

Bug40828

See merge request tpo/core/tor!736