Johannes Schindelin [off-list ref] writes:
quoted
I think you could argue either way (and I am OK with either, or even
just matching 7.88.1).
I had GPT-6 dig deeper into the issue, since you're right: This should not
be a CI/Debian-only gate, at the same time I didn't know what was the
first version with the bug, so I suspected the version range to be subtly
inaccurate. Turns out that the bug appeared first in cURL v7.88.0. So I
adjusted your version range in preparation for the next patch iteration.
Great digging. So it is between 7.88.0 and 8.3.0?