On Mon, Jun 27, 2016 at 02:17:22PM +0100, David CARLIER wrote: > Hi all, > > Here an harmless little cleanup patch.
Good catch! Applied, thank you David! Willy
On Mon, Jun 27, 2016 at 02:17:22PM +0100, David CARLIER wrote: > Hi all, > > Here an harmless little cleanup patch.
Good catch! Applied, thank you David! Willy