Bug#1050762: two more minor fixes in your upstream fixes

hi Guido, On Fri, 1 Sep 2023, Guido Günther wrote: (put the bug in cc: so we have a all the bits together) OK. On Thu, Aug 31, 2023 at 11:09:02PM +0200, Boud Roukema wrote: hi Guido, I agree with closing #1050762. But upstream I still see two minor fixes needed (unless I misunderstand

Bug#1050762: two more minor fixes in your upstream fixes

Hi, (put the bug in cc: so we have a all the bits together) On Thu, Aug 31, 2023 at 11:09:02PM +0200, Boud Roukema wrote: > hi Guido, > > I agree with closing #1050762. But upstream I still see two minor fixes > needed (unless I misunderstand something): > >