> Discussion on it looks like a never-ending story. Yeah, ideally it happens before the pull request on the developers mailing list.
> Of course, it's the question who and how to ask. I guess the user's mailing list is the best/only place, at least if anyone is strongly for or against it they might chime-in. -- 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/pull/2220#issuecomment-518824839
