Skip to content

triagebot: make sure Nora is called Nora#128355

Merged
bors merged 1 commit intorust-lang:masterfrom jieyouxu:rename-noraJul 30, 2024
+2-2

Commits

Commits on Jul 29, 2024