Am 12.08.24 um 19:45 schrieb Mark Wielaard:
Hi Johann,
On Sat, Aug 10, 2024 at 07:34:09PM +0200, Georg-Johann Lay wrote:
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...
That is odd indeed. We did have an issue when the user account name
contained non-ascii characters. But that doesn't seem to be the case
here. Also it does look like your commit today for PR target/85624 did
generate an gcc-cvs email and bugzilla update. So hopefully it is a
one time thing.
Did you get any unusual output on that commit?
Cheers,
Mark
Hi Mark,
no, no unusual output on that commit. Though from some GCC site I got
an internal server error, but I don't remember from which server exactly.
Usually, all my commits with PR pointers get their bugzilla pointer.
Johann