Skip to content

Conversation

danez
Copy link
Collaborator

@danez danez commented Jul 13, 2018

Fixes #150

@danez danez added the bug label Jul 13, 2018
@danez danez merged commit 081d3fe into master Jul 13, 2018
@danez danez deleted the fix-print branch July 13, 2018 12:48
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 28, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant