Skip to content

triagebot: make sure Nora is called Nora - #128355

Merged
bors merged 1 commit into
rust-lang:masterfrom
jieyouxu:rename-nora
Jul 30, 2024
Merged

triagebot: make sure Nora is called Nora#128355
bors merged 1 commit into
rust-lang:masterfrom
jieyouxu:rename-nora

triagebot: make sure Nora is called Nora

f4fa80f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs