Hi Hans-Peter,
Sorry if I misinterpret, but it seems a reminder is in order: magic powers are attached to whome...@gcc.gnu.org accounts in bugzilla, so when people use them instead of their whome...@employer.example.com, they are able to close PR's they haven't created.
Ah - thank you, I did not know that. I have now logged in using that address and closed the requested PR.
Cheers Nick
