On 15 May 2023 at 03:15, Andreas Beckmann wrote: | On 15/05/2023 02.58, Dirk Eddelbuettel wrote: | > | Yes thank you -- that sounds sensible. And we would then nag the release | > | team to get this out in the release? | | yes | | > Oh, and to be extra plain: upload to unstable as a 'serious' bug fix? | | Yes, without extra changes that do not qualify as targeted fixes.
Fully agreed. Coming right up as a one-line fix per your one-line diff. Dirk -- dirk.eddelbuettel.com | @eddelbuettel | e...@debian.org