Mini Trader wrote: > I am on stretch Debian 4.9.30-2+deb9u2. Is there a link to submit this > bug too? > > On Ubuntu's 4.4.0-83-generic this is not reproducible.
usually reportbug is used to do this, however IMO you are hitting some other bug, but this is just a guess regards
