Skip to content

Conversation

@kmpaul
Copy link
Collaborator

@kmpaul kmpaul commented Jan 4, 2021

This PR implements @erogluorhan's suggestions post-merge in #10.

@kmpaul kmpaul merged commit 31f7026 into ProjectPythia:main Jan 4, 2021
@kmpaul kmpaul deleted the people branch January 4, 2021 20:25
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