On Fri 15 Dec 2017 at 21:10:34 +0100, Thomas Schmitt wrote: > Brian wrote: > > Why doesn't giving https://...jigdo work? Or, to be more precise, why > > doesn't it work for me? > > Obviously because you did not yet install the new package which is > available since already 8 days. :)) > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=865864
The reason is more prosaic than that. I *did* read the bug reports but let what "Resolved bugs" tells us slip by me; it's deserving of a slap on the wrist. Thank you for taking the trouble to respond. -- Brian.
