[Bug web/87803] GCC 6.5.0 release directory is misnamed

2018-10-30 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87803 Jakub Jelinek changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug web/87803] GCC 6.5.0 release directory is misnamed

2018-10-30 Thread rguenther at suse dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87803 --- Comment #3 from 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 --- > Unfortunately the GNU ftp uploading directiv

[Bug web/87803] GCC 6.5.0 release directory is misnamed

2018-10-30 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87803 --- Comment #2 from Jakub Jelinek --- Unfortunately the GNU ftp uploading directives don't allow to rename a directory. I've mailed the administrator.

[Bug web/87803] GCC 6.5.0 release directory is misnamed

2018-10-30 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87803 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org,

[Bug web/87803] GCC 6.5.0 release directory is misnamed

2018-10-29 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87803 Jonathan Wakely changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|