PR #3880 Make FlatState a Mapping instead of a dict

Make FlatState a Mapping instead of a dict #3880

copybara-service merged 1 commit into google:main from NeilGirdhar:fix_mappings

NeilGirdhar force pushed 2 years ago

cgarciae commented on 2024-04-25

cgarciae approved these changes on 2024-04-25

cgarciae assigned

cgarciae 2 years ago

cgarciae added pull ready

NeilGirdhar force pushed 2 years ago

NeilGirdhar force pushed 2 years ago

cgarciae removed pull ready

cgarciae added pull ready

NeilGirdhar force pushed 2 years ago

cgarciae removed pull ready

cgarciae added pull ready

Make FlatState a Mapping instead of a dict

d1935c71

NeilGirdhar force pushed to d1935c71 2 years ago

cgarciae removed pull ready

cgarciae added pull ready

copybara-service merged d0e080da into main 2 years ago

NeilGirdhar deleted the fix_mappings branch 2 years ago

Reviewers

cgarciae

Assignees

cgarciae

Labels

pull ready

Milestone

No milestone