Skip to content

Conversation

tuxrace
Copy link
Contributor

@tuxrace tuxrace commented Apr 18, 2017

No description provided.

@danez
Copy link
Collaborator

danez commented Apr 19, 2017

Isn't that already done in #163 ?

@tuxrace
Copy link
Contributor Author

tuxrace commented Apr 19, 2017

Hey Daniel, I apologize, my bad, thanks for pointing it out, I will close this PR.

@tuxrace tuxrace closed this Apr 19, 2017
@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
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants