docs(proposals): use glob toctree to prevent merge conflicts#1115
Merged
mergify[bot] merged 1 commit intomainfrom May 6, 2026
Merged
docs(proposals): use glob toctree to prevent merge conflicts#1115mergify[bot] merged 1 commit intomainfrom
mergify[bot] merged 1 commit intomainfrom
Commits
Commits on May 6, 2026
- authored andcommitted
