On Tue, Nov 17, 2020 at 07:04:59AM -0500, The Wanderer wrote: > FWIW, I parsed this as "and possibly file a(nother) bug report[ about > this bug, since the one I thought I remembered having filed before seems > to have disappeared, if it ever existed in the first place]".
Exactly, thank you for parsing! Actually I just found the old bug report: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=816211 Of course, as it was reported on a backport kernel, I guess no one cared :)
