Hello.
May I humbly ask that someone take a look at my PR pull/5150? It had gone stale and was about to be closed due to no activity.
I already posted in the PR but got not response.
As far as I can tell the review is basically done and it’s just bot bureaucracy and a merge from here on.
I understand that the review team is tiny and very overworked, so all I’m asking for here is confirmation that my request was noticed and will be dealt with whenever the stars align in its favour.
Thank you, and thank you to the all the reviewers for their work.
Tine