Avoid warning about non-nullable class-property in traits.#5479
Closed
peter17 wants to merge 2 commits into
Closed
Avoid warning about non-nullable class-property in traits.#5479peter17 wants to merge 2 commits into
peter17 wants to merge 2 commits into
Commits
Commits on Jun 21, 2026
- authored andcommitted
- authored andcommitted
