Follow-up Comment #105, task #14667 (project administration): I think deleting the file is an option if it doesn't break your package. (Of course, you should make sure that you shan't install it again unintentionally.)
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/task/?14667>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
