Closed baarkerlounger closed 6 years ago
will try to stop posting WIP PRs too!
It is not necessary, in fact :) Just include [WIP]
in the title of those PRs, and write a comment like "Now it is finished!" when it is :)
@zverok think this is ready for another look
@zverok made both suggested changes