Closed pdasigi closed 8 years ago
One more comment: could you run git rebase master
on this? It'll make the git history a lot cleaner.
Because Pradeep is gone for a week, I copied this over to a new PR from my fork, and made these changes there. I'm going to close this PR and merge the new one instead.
.. and a couple of other minor features.