Hi Harald, On Tue, Feb 26, 2019 at 09:09:53PM +0100, Harald Anlauf wrote: > @Dominique: I am unable to close PRs in bugzilla that I do not own > due to insufficient privileges.
You need to log in to bugzilla as anl...@gcc.gnu.org, then everything should work. Segher
