>>>>> "Steffen" == Steffen Dettmer <steffen.dettmer@googlemail.com> writes: Steffen> I created #11750 Steffen> (http://sourceware.org/bugzilla/show_bug.cgi?id=11750). Maybe Steffen> you could review/revise to ensure I wrote correctly and Steffen> included the needed information? It looks good to me, thanks for doing that. Tom