New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Revert "Fixes #541" #587

Merged

abhi merged 1 commit into master from revert-578-master

Oct 28, 2016

Member

srampal commented Oct 28, 2016

Reverts #578


          Revert "Fixes #541"

88b9aa3

Contributor

gaurav-dalvi commented Oct 28, 2016

is this a revert of PR or just resending again to trigger sanity ?

abhi merged commit 6eca380 into master

Contributor

dseevr commented Oct 28, 2016

@srampal you can fix up the original branch on your local machine, push it to a new remote name, and open a new PR for it

unclejack deleted the revert-578-master branch

January 3, 2017 18:08

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet