I don't like the idea of fixing something for a CI build that doesn't work in a local build.
Adding a patch file to the download page for an old release and applying that patch in the CI build for that release would be a compromise.
I don't like the idea of fixing something for a CI build that doesn't work in a local build.
Adding a patch file to the download page for an old release and applying that patch in the CI build for that release would be a compromise.