The 5.1 branch is end of official maintenance, not sure if it makes sense to add more to it, unless people want to have gentoo build for it, but so far was not required explicitely on mailing lists.

Then if the version is required in the file name, and we have to add/remove/rename files with each release, then better have 5.4.0 for master branch, rather than 9999.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.