> On 9 Oct 2018, at 12:37, Daniel Fuchs <daniel.fu...@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.
> On 9 Oct 2018, at 12:37, Daniel Fuchs <daniel.fu...@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.