Kentaro Hayashi Fri, 30 Oct 2020 09:43:07 -0700
It seems that https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=950601#10 is a reasonable fix. How do you think?
