This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch releases/gcc-15 in repository gcc.

from 416a7fee4ad Daily bump. new bd020583b64 doc: allow extend.texi to be processed by makeinfo 4.13 new 57893515877 doc: allow gcov.texi to be processed by makeinfo 4.13

The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: gcc/doc/extend.texi | 4 ++-- gcc/doc/gcov.texi | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-)