I think adding it is no big deal and if it is used by Github, it is worth it. I agree on not `dist`ing it.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1193#issuecomment-2451887512
You are receiving this because you are subscribed to this thread.
Message ID: <geany/geany/pull/1193/c2451887512@github.com>