On Tue, Jun 24, 2008 at 05:08:12PM +0200, Reini Urban wrote: > http://sources.redhat.com/bugzilla/show_bug.cgi?id=854 Just a minor nit but please use sourceware.org rather than sources.redhat.com. sourceware.org is the preferred name of the system. cgf