Hi all,
We are starting to accumulate a *lot* of issues. I’d like to urge everyone to
go through their list of issues, or issues they have worked on fixing. I think
a number of the open issues should be closed, because they have been fixed (we
do a poor job of closing issues in our PRs).
So, please take a look, in the Issues search box, look for something like e.g.
is:open is:issue author:zwoop
Thanks,
— Leif
P.s
Simply adding a “This closes 1234” in the PR message automatically closes the
open issues when the PR is merged.
