Follow-up Comment #14, task #15062 (project administration): Yes, removing problematic files from the archive would be fine.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/task/?15062>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
