> Can do that. Should it be part of this PR or a separate one after this one is > merged?
Whichever you prefer. I'd have said this one given it'll introduce yet another set of changes that are probably best diffed from current master, but I don't really mind either way in practice, so if it's easier for you just do another one afterwards. > > Tags p* are NOT releases, but probably pre-versions, or even nightly > > snapshots. Releases are v*. > > It's probably fine, but noteworthy 🙂 > > OK, I didn't notice the release tags. But since these are just about once a > year, I guess we want the latest thing and "risk" the consequences, right? Yeah, I think we can "risk it" :slightly_smiling_face: -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3859#issuecomment-2105264206 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3859/c2105264...@github.com>