Closed prateekiiest closed 6 years ago
@prateekiiest I've merged this (squashed into 1 single commit) to master, see 089071f58d3328c0ef358a38710358ffa3126b79.
The problems that TravisCI found are taken care of in 72285d68dda534eababc2dc2f4d648e54d3f0979, 6a86a5df0249a503a1296bab0dd85e57d3e5645c and 822fd444797c68a0c3606eee5c9e781cdf906f9e.
Thanks @vorburger for merging this in
As per discussions in #20 and #8