https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85007
--- Comment #17 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Wed Apr 25 10:01:55 2018 New Revision: 259640 URL: https://gcc.gnu.org/viewcvs?rev=259640&root=gcc&view=rev Log: PR ada/85007 * gnat_ugn.texi: Regenerate. Modified: branches/gcc-8-branch/gcc/ada/ChangeLog branches/gcc-8-branch/gcc/ada/gnat_ugn.texi