On 18 May 2006, Bob Tanner <tanner at real-time.com> wrote: > Passing this info along from the debian world to upstream. > > Full details here with a proposed patch > > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=352707 Thanks, patch merged. -- Martin