Skip to content

Add support for maps#37

Merged
kmoe merged 8 commits intomainfrom
paddy_types_map
Jun 23, 2021
Merged

Add support for maps#37
kmoe merged 8 commits intomainfrom
paddy_types_map

Conversation

@paddycarver
Copy link
Contributor

No description provided.

@paddycarver paddycarver added the enhancement New feature or request label Jun 2, 2021
@paddycarver paddycarver added this to the v0.1.0 milestone Jun 2, 2021
@paddycarver
Copy link
Contributor Author

Depends on #35.

@paddycarver paddycarver changed the title Paddy types map Add support for maps Jun 2, 2021
@kmoe kmoe self-assigned this Jun 23, 2021
@kmoe kmoe force-pushed the paddy_types_map branch from dd782e9 to b648b40 Compare June 23, 2021 14:56
@kmoe kmoe requested a review from a team June 23, 2021 14:57
@kmoe kmoe marked this pull request as ready for review June 23, 2021 14:57
@paddycarver
Copy link
Contributor Author

Looks good to me. Mind putting a .changelog/37.txt file in there, @kmoe, and then it's good to merge?

@kmoe kmoe merged commit 01f30ed into main Jun 23, 2021
@kmoe kmoe deleted the paddy_types_map branch June 23, 2021 15:30
@github-actions
Copy link

I'm going to lock this pull request because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active contributions.
If you have found a problem that seems related to this change, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 24, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants