Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Updated documentation regarding bug reports #179
Conversation
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment Hide comment
polyzen
commented
Feb 10, 2016
|
What was wrong with the previous pr? |
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment Hide comment|
@polyzen let's not talk about it ;) |
added a commit
that referenced
this pull request
Feb 11, 2016
thestinger
merged commit 4702f44
into
copperhead:master
Feb 11, 2016
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
thelifeofjay commentedFeb 10, 2016
Information for debugging, building, reporting bugs and feature requests