On Sat, Aug 13, 2005 at 09:40:11AM -0400, Daniel Berlin wrote: > > > > > Should I open a PR? > Yes OK, this is now bug #23378. Please let me know if you need more information. Cheers, Martin