Martin Reinecke Sat, 13 Aug 2005 11:08:03 -0700
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
