https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65102 --- Comment #8 from vries at gcc dot gnu.org --- (In reply to Eric Botcazou from comment #7) > It was approved by Gerald (modulo a minor point). Can you paste the gcc-patches ml link that contains the approval? I haven't seen it.