feat: handle empty-body functions in smir.json.#753
Merged
automergerpr-permission-manager[bot] merged 9 commits intomasterfrom Oct 21, 2025
Merged
feat: handle empty-body functions in `smir.json`.#753automergerpr-permission-manager[bot] merged 9 commits intomasterfrom
automergerpr-permission-manager[bot] merged 9 commits intomasterfrom
Commits
Commits on Oct 21, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
