Comment 3 for bug 1742653

Revision history for this message
Olivier Tilloy (osomon) wrote :

Thanks for the report Mario. I verified that those files can be safely removed from the binary package indeed. Good catch!