PR #12385 [red-knot] rename module_global to global

[red-knot] rename module_global to global #12385

carljm merged 1 commit into main from cjm/rename-module-global

carljm requested a review from

MichaReiser 1 year ago

carljm requested a review from

AlexWaygood 1 year ago

MichaReiser added ty

MichaReiser approved these changes on 2024-07-18

Base automatically changed from cjm/scope-lookups to main 1 year ago

[red-knot] rename module_global to global

ed251b2e

carljm force pushed from 523326c2 to ed251b2e 1 year ago

carljm merged 181e7b3c into main 1 year ago

carljm deleted the cjm/rename-module-global branch 1 year ago

Reviewers

MichaReiser

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone