https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101391
--- Comment #7 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #6 from Gaius Mulley <gaius at gcc dot gnu.org> --- > Comment on attachment 51457 > --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51457 > Additonal patch providing cgetopt_* > > All done - thanks for the patch and apologies for the delay in applying. Excellent, thanks a lot.
