25.07.2024 18:33, Santiago Vila wrote:
Hi.
I see that you fixed this very quickly. Thanks!
I just wanted to point out that this was really a bug in dpkg-dev:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1076863
Yeah. See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1076863#69 ;)
I found the bug the hard way yesterday (and fixed locally), and found #1076863
when trying to report it.
There's another issue in dpkg-dev now, which also needed a work-around --
#1077005. Which is a bit more subtle.
Thanks,
/mjt
