Skip to content

[Version 11.0] Feature support for checked user defined operators - #1585

Draft
RexJaeschke wants to merge 11 commits into
draft-v11from
v11-checked-user-defined-operators
Draft

RexJaeschke wants to merge 11 commits into
draft-v11from
v11-checked-user-defined-operators

Commits

Commits on Sep 21, 2026