https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88472
--- Comment #4 from sandra at gcc dot gnu.org --- Created attachment 63721 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63721&action=edit better PDF The page count was off in the initial PDF, this one fixes it.
