Skip to content

Add @typing.override.#855

Merged
Josverl merged 1 commit intoJosverl:mainfrom
ziesemer:feature/typing-override
Dec 18, 2025
Merged

Add @typing.override.#855
Josverl merged 1 commit intoJosverl:mainfrom
ziesemer:feature/typing-override

Commits

Commits on Dec 18, 2025