Hi James, On Thu, 18 Oct 2018 21:54:03 -0700 James Bottomley wrote: > > It's the merge commit ... it was obviously the wrong choice; I'll fix > it. OK, thanks. -- Cheers, Stephen Rothwell