Apart from that (we can merge that patch individually if we agree on it), is there anything blocking?
The PR adds new string thanks to the change history feature so need to merge before the string freeze -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3551#issuecomment-1745489734 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3551/c1745489...@github.com>
