On 14/07/2025 08:04, Richard Biener via Gcc wrote: > On Sat, Jul 12, 2025 at 7:06 AM Andrew Marlow via Gcc <gcc@gcc.gnu.org> wrote: >> >> Hello Richard, >> >> Thank you for making these announcements, they are very useful and >> informative. But I have one small request to make. Please include a link to >> the web page that describes the changes from the last release. The links >> are on the page https://gcc.gnu.org/releases.html and for this particular >> release, 12.5, the release notes link can be seen from >> https://gcc.gnu.org/gcc-12 (the changes are at >> https://gcc.gnu.org/gcc-12/changes.html). > > Thanks for the suggestion! I will try to remember this. Note that there > are usually zero entries in the changes list for minor releases, and I'd > have to double-check we have a anchor at that sub-section. For new > major releases we link to the page in the announcements. >
A bugzilla scrape for PRs on the release branch might make more sense. But even that might need curating. R. > Richard. > >> >> On Fri, 11 Jul 2025 at 13:51, Richard Biener <rguent...@suse.de> wrote: >> >>> The GNU Compiler Collection version 12.5 has been released. >>> >>> GCC 12.5 is a bug-fix release from the GCC 12 branch >>> containing important fixes for regressions and serious bugs in >>> GCC 12.4 with more than 241 bugs fixed since the previous release. >>> >>> This is also the last release from the GCC 12 branch, GCC continues >>> to be maintained on the GCC 13, GCC 14 and GCC 15 branches and the >>> development trunk. >>> >>> This release is available from the FTP servers listed here: >>> >>> https://gcc.gnu.org/pub/gcc/releases/gcc-12.5.0/ >>> https://gcc.gnu.org/mirrors.html >>> >>> Please do not contact me directly regarding questions or comments >>> about this release. Instead, use the resources available from >>> http://gcc.gnu.org. >>> >>> As always, a vast number of people contributed to this GCC release >>> -- far too many to thank them individually! >>> >>> >> >> -- >> Regards, >> >> Andrew Marlow >> https://marlowa.blogspot.com/
