Skip to content

Comments

API: Make _type read-only#1372

Merged
jku merged 1 commit intotheupdateframework:developfrom
jku:read-only-type
May 6, 2021
Merged

API: Make _type read-only#1372
jku merged 1 commit intotheupdateframework:developfrom
jku:read-only-type

Commits

Commits on May 4, 2021