Commited to head. Cheers, Pedro Alves -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: maint.diff URL: <http://sourceware.org/pipermail/gdb-patches/attachments/20070210/862f998e/attachment.ksh>