Skip to content

triagebot: re-enable merge commit check#3123

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:triagebotOct 16, 2023
+3-4

Commits

Commits on Oct 16, 2023