https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99277
--- Comment #21 from Thiago Macieira <thiago at kde dot org> --- I understand that. I don't think it's a reason to repeat the policy, though. Anyway, I don't have any new arguments than when we discussed this two years ago, so I won't pursue this matter further.