Closed Clindbergh closed 10 years ago
is this the same as #614? what id the difference?
if you change thing, its easiest if you push to the same branch again, github then updates the pull request. you can --amend and push -f to update the previous commit.
Sorry, couldn't update the commit in 614 and can't do it anymore (since the repo isn't linked anymore). Will update this one with your suggested changes.
The difference is an added line break after the code block, so that the Build passes.
okay. i copied the relevant comments from the other PR so we don't forget about it.
@Clindbergh closing this PR was an automatic action of github because we deleted the dev branch (it was used for preparing the 1.2 release...). can you please create a new pull request against the master branch?
@Clindbergh any chance you could open a new PR with this code? maybe rebase your commit onto the current master?
@dbu Here you go - I missed it.
fix #604 . Should work with travis.