On Fri, Jan 10, 2020 at 10:40:40PM +0100, Aurélien COUDERC wrote: > Dear Ivan, > > thanks for taking the time to report this bug and help make Debian better. > > I cannot reproduce the issue you describe on the current Debian stable (10/ > buster), so I believe it has been fixed since you reported the bug. > It would be useful if you could retest on a more recent version and confirm > whether the bug is fixed for you too.
Confirmed. -- _ivan