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