https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87803
--- Comment #3 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 30 Oct 2018, jakub at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87803 > > --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- > Unfortunately the GNU ftp uploading directives don't allow to rename a > directory. I've mailed the administrator. IIRC I made a mistake myself a few years ago and resorted to delete and re-upload. Delete is possible IIRC.
