Closed paulfantom closed 6 years ago
If you're going to merge your own pull requests then it's best if you just push to master, @paulfantom :) Otherwise please ping someone to review it for you.
Thanks for all the hard work. Keep it up!
I wanted to preserve clarity in github history and in changelog (since it is generated from PRs) :)
Updated version of #45