Skip to content

Conversation

odow
Copy link
Member

@odow odow commented May 12, 2021

Closes #1335

I have a few other changes coming for copy, but I'll split them up one-by-one.

@odow odow requested a review from blegat May 12, 2021 02:48
@odow
Copy link
Member Author

odow commented May 12, 2021

Merging because this is uncontroversial and it's blocking my next PR.

@odow odow merged commit cc11a36 into master May 12, 2021
@odow odow deleted the od/index_map branch May 12, 2021 06:37
@blegat blegat added this to the v0.10 milestone May 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging this pull request may close these issues.

Rename fields of IndexMap
2 participants