Fix some old // <directive> to //@ <directive>#2421
Merged
jieyouxu merged 1 commit intorust-lang:masterfrom May 28, 2025
Merged
Fix some old `// <directive>` to `//@ <directive>`#2421jieyouxu merged 1 commit intorust-lang:masterfrom
jieyouxu merged 1 commit intorust-lang:masterfrom
