PR #3928 Make FlatState a Mapping instead of a dict

Make FlatState a Mapping instead of a dict #3928

copybara-service merged 1 commit into google:main from use_mapping

NeilGirdhar force pushed 2 years ago

NeilGirdhar force pushed 2 years ago

cgarciae approved these changes on 2024-05-22

NeilGirdhar force pushed 2 years ago

Make FlatState a Mapping instead of a dict

ecb7cf37

NeilGirdhar force pushed to ecb7cf37 2 years ago

cgarciae approved these changes on 2024-06-04

cgarciae added pull ready

copybara-service merged bff079b7 into main 2 years ago

NeilGirdhar deleted the use_mapping branch 2 years ago

Reviewers

cgarciae

Assignees

No one assigned

Labels

pull ready

Milestone

No milestone