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. Andreas
