Skip to content

Remove name field from BuiltinClassId - #1200

Merged
EgorkaKulikov merged 5 commits into
mainfrom
egor/name_builtins
Oct 21, 2022
Merged

EgorkaKulikov merged 5 commits into
mainfrom
egor/name_builtins

Commits

  1. Commits on Oct 20, 2022