Skip to content

Conversation

dbanty
Copy link
Collaborator

@dbanty dbanty commented Apr 25, 2020

A couple tweaks, improvements, and merge-resolutions on top of #31.

@dbanty
Copy link
Collaborator Author

dbanty commented Apr 25, 2020

Closes #21

@dbanty dbanty merged commit 4382760 into master Apr 25, 2020
@dbanty dbanty deleted the pr/31 branch April 25, 2020 21:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant