Comment 5 for bug 20758

Revision history for this message
Martin Pitt (pitti) wrote :

Not a big deal, and we will get the fix at the next sync anyway, so let's just
close it to avoid noise.