Skip to content

Remove optionality from name on all reasonable constructs.#77

Open
tabatkins wants to merge 1 commit intoplinss:mainfrom
tabatkins:more-optional-names
Open

Remove optionality from name on all reasonable constructs.#77
tabatkins wants to merge 1 commit intoplinss:mainfrom
tabatkins:more-optional-names

Commits

Commits on Jun 3, 2022