Hello Helmut, I've uploaded 7.80.0-2 with a revert for this.
> So this looks mostly harmless, but involves non-trivial work and I > didn't check build order yet. Given that curl comes relatively late, I > don't expect much problems there. > So can you give me a month? Surely, please feel free to take your time, since we are not in a rush. For reference, this issue has also been discussed at #1002598 (https://bugs.debian.org/1002598). Thank you -- Samuel Henrique <samueloph>
