Comment 6 for bug 107766

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

Ralf, if you want to file a separate bug, that's fine. However, I'll fix the issue now, so it's not really necessary.