Close old and outdated PR

• Dec 17, 2019 - 15:38

Is there any work done on closing outdated PRs?
I know it's not that important, but I just saw that @anatoly-os had started something like that in mid-2018.

Do you still have an unanswered question? Please log in first to post your question.