Skip to content

Fix impl Ord for Ident#1893

Open
eliaperantoni wants to merge 1 commit intoapache:mainfrom
eliaperantoni:eper/ident-ord
Open

Fix `impl Ord for Ident`#1893
eliaperantoni wants to merge 1 commit intoapache:mainfrom
eliaperantoni:eper/ident-ord

Commits

Commits on Jun 18, 2025