No offence taken, it doesn't hurt to ping stuff, things do get forgotten, and it reminds people when they are deciding what to spend their time on.
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/967#issuecomment-334935124
