I'd suggest that a PR that lack an activity for more than a month is closed. Any objections?

Thank you,

Vlad

Reply via email to