Re: An options exception

[Eric Botcazou]

> I didn't find any precedent of the following before, so this can be a start
> for discussion.

That's the wrong mailing-list though, you want g...@gcc.gnu.org instead.

-- 
Eric Botcazou