[tor-commits] [tor] 07/15: Merge branch 'mr-674-fixup' into main+mr-674-fixup