This sounds like a continuation of 13bc05d#commitcomment-130441271, but I still don't understand what's the actual problem. Yes, it's not the same version string, but what harm does it do?

For me, the rationale here is:

If this causes a hard to solve problem, we can see what to do (even if it's adding redundant tags), but for now "it would be good" doesn't convince me.


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/issues/3644/1774215300@github.com>