Update of sr #108954 (project administration):
Status: None => Done
Assigned to: None => agn
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
Hello David,
ftp.gnu.org is not managed by Savannah admins,
and therefor there is nothing that we can do directly on it.
However the 'gnupload' script has a '--delete' option to delete a file, see:
http://git.savannah.gnu.org/cgit/gnulib.git/tree/build-aux/gnupload
I would try to use that script to delete the files.
As such, I'm closing this ticket.
regards,
- assaf
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?108954>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
