Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upremoved nop match #22
Conversation
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
travisbot
commented
Sep 3, 2012
added a commit
that referenced
this pull request
Sep 4, 2012
johnynek
merged commit 25fead9
into
twitter:develop
Sep 4, 2012
1 check passed
default
The Travis build passed
Details
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
mosesn commentedSep 3, 2012
motivation
I don't know what I was thinking before, but the right match wasn't doing anything in the first place. It was basically dead code.
changed behavior
None. Just removed some nops.