Skip to content

Spec: Adapt basic declarations to the new type system.#17940

Merged
sjrd merged 1 commit intoscala:mainfrom
sjrd:spec-declarations
Jun 14, 2023

Commits

Commits on Jun 14, 2023