Skip to content

Allow any mapping for locals.#3314

Merged
DimitrisJim merged 2 commits into
RustPython:mainfrom
DimitrisJim:mapping_locals
Oct 16, 2021
Merged

Allow any mapping for locals.#3314
DimitrisJim merged 2 commits into
RustPython:mainfrom
DimitrisJim:mapping_locals

Commits

Commits on Oct 15, 2021

Commits on Oct 16, 2021