@b4n OK to merge? Even if I decided to use some extra threads (which I doubt, 
best to avoid those), I'd still need to know that Geany is terminating to 
perform the cleanup. So I'd need the signal anyway.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/4069#issuecomment-2514487144
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/4069/c2514487...@github.com>

Reply via email to