> On 9 Oct 2018, at 12:37, Daniel Fuchs <daniel.fuchs at oracle.com> wrote: > > Hi Chris, > > Looks good but maybe you could fix "the the" at > the same time. Argh! yes, of course. I’ll fix this before pushing. -Chris.