Closed GioBonvi closed 6 years ago
Everything works fine for me :)
Ping? @GioBonvi do you need anything else from us for this? It seems this PR doesn't need anything else from you than merging either, so if you are really busy let me know if you want me to merge it. I might miss a step or two with "announcing the release", etc though so perhaps it would end up taking you just as long to check I did everything correctly, but anyway...
Thank you for the heads up @rowanthorpe, it should be all done now.
I've finally found some free time to spend on this project.
This development version is now more than two months old, so it should be ready for release. I'll merge this to master in a week or so: if anyone finds any problem in the meantime please feel free to comment and/or make a pull request with a fix on this branch.