On Sun, Oct 12, 2025 at 12:06:18PM +0200, Santiago Vila wrote: > Note: I'm fixing this one myself via team upload. > > Please note that there will be a failed job in Salsa CI, but I think > that's a bug in Salsa CI which I've reported here: > > https://salsa.debian.org/salsa-ci-team/pipeline/-/issues/513
Ok, this was *not* a bug in Salsa CI after all... (Thanks, Santiago Ruano!) I'll fix this in salsa (but without making another upload) so that it's fixed for the next time. Thanks.

