Skip to content

🤖 Merge PR #74242 [w3c-direct-sockets] Mark members of OpenInfo dicti… #831

🤖 Merge PR #74242 [w3c-direct-sockets] Mark members of OpenInfo dicti…

🤖 Merge PR #74242 [w3c-direct-sockets] Mark members of OpenInfo dicti… #831

Triggered via push December 18, 2025 16:59
Status Skipped
Total duration 1s
Artifacts
dprint-fmt
0s
dprint-fmt
Fit to window
Zoom out
Zoom in