Avoid warning about non-nullable class-property in traits.#5479
Open
peter17 wants to merge 2 commits into
Open
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
