Hi Markus (2023.01.09_10:45:30_+0000) > I'd be fine with the patch, as it won't actually break anything that > hasn't been broken already, but I have already prepared a fix > in <https://salsa.debian.org/debian-astro-team/gavodachs>, waiting > for an upload (delayed because of holidays, I suspect). So, if > you have not uploaded yet, I'd prefer that fix to go into the > archive. Otherwise, as I said, I'm fine with your patch too, for the > time being.
Sure, I can apply this patch instead. Or, you can stage the other patch (that resolves #1027398) in git, and I can sponsor the upload. SR -- Stefano Rivera http://tumbleweed.org.za/ +1 415 683 3272