Good thing to ping it so "somebody" is reminded to try it and merge if they get a chance. Otherwise things get lost/forgotten, if it happens that nobody has time immediately, don't leave it nearly a year until the next ping.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany-plugins/pull/1221#issuecomment-2342403568
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany-plugins/pull/1221/c2342403568@github.com