Skip to content

fix category name for no_builtins attribute#615

Open
rbakbashev wants to merge 1 commit intorust-lang:mainfrom
rbakbashev:no_builtins
Open

fix category name for `no_builtins` attribute#615
rbakbashev wants to merge 1 commit intorust-lang:mainfrom
rbakbashev:no_builtins

Commits

Commits on Nov 4, 2025