Apologies for the trivial question - I haven't worked on GCC for a while. I fixed PR libobjc/19850. I guess I'm supposed to resolve the bug now but I don't seem to have the permissions to do it in bugzilla (my email is nicola.p...@meta-innovation.com).
Can that be enabled ? :-) Apologies it this is not the right place to ask. Thanks