On Mon, Nov 19, 2018 at 01:11:36PM -0500, Chris Lamb wrote:
Ian Jackson wrote:
Please see this page about how to report a bug:
Actually, I believe this to be already filed as:
https://bugs.debian.org/914074
You're right to point out that an important prerequisite step, before
filing a bug, is to check whether it has already been filed. And that's
what the page Ian linked to says.
--
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ Jonathan Dowland
⢿⡄⠘⠷⠚⠋⠀ https://jmtd.net
⠈⠳⣄⠀⠀⠀⠀ Please do not CC me, I am subscribed to the list.