Skip to content

Merge pull request #18656 from hvitved/rust/record-destruct-shorthand #9301

Merge pull request #18656 from hvitved/rust/record-destruct-shorthand

Merge pull request #18656 from hvitved/rust/record-destruct-shorthand #9301

Job Run time
1m 8s
1m 8s