Closed DhritiShikhar closed 9 years ago
Maybe we should merge this manually to avoid all the merge commits at the top :-s
@pypingou +1. So as PR #131 has all the commit already, I will close this one as duplicate.
Also, could you push the change to PR #131 as said above, this one will be closed as duplicate.
Closing as duplicate as suggested by @laxathom.