Hey Tony,
Thanks for the report. I've marked it a duplicate of bug 375897, as though the cause is different, the fix is the same.
The patch should be small, so if it's blocking you then I can prioritize it, but I have a suspicion that an "apt-get update" may make it go away.
Thanks,
James
Hey Tony,
Thanks for the report. I've marked it a duplicate of bug 375897,
as though the cause is different, the fix is the same.
The patch should be small, so if it's blocking you then I can prioritize
it, but I have a suspicion that an "apt-get update" may make it
go away.
Thanks,
James