https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790
--- Comment #23 from Kenneth Zadeck <zadeck at naturalbridge dot com> --- This change to the doc looks fine to me.
zadeck at naturalbridge dot com Thu, 17 Sep 2015 07:49:56 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790
--- Comment #23 from Kenneth Zadeck <zadeck at naturalbridge dot com> --- This change to the doc looks fine to me.