Richard W.M. Jones wrote: > On Mon, Aug 17, 2009 at 11:10:52AM +0200, Jim Meyering wrote: > [...] > > ACK. Addition of DeviceList is a good change. Ohh.. I forgot to mention that in the log. Will adjust.