Comment 3 for bug 1742653

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!