Skip to content

Followup fixes from #123344#125270

Merged
bors merged 2 commits intorust-lang:masterfrom
pietroalbini:pa-no-sad-contributors
May 19, 2024

Commits

Commits on May 19, 2024