On Mon, 16 Oct 2006, Tobias Burnus wrote: > Done. Thanks! I see you have an account on gcc.gnu.org and thus should be able to commit this; if this is not the case, please let me know and I'll do it for you. Gerald