I just noticed that one of my commits, https://gcc.gnu.org/r15-2865
is missing from https://gcc.gnu.org/pipermail/gcc-cvs/2024-August/date.html Even though it has the tag "PR target/113934" the respective PR didn't get a pointer to the commit: https://gcc.gnu.org/PR113934 Did I do something wrong? I cannot find a typo in the commit message... Johann
