Comment 1 for bug 376646

Revision history for this message
James Westby (james-w) wrote :

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