You're welcome. Thanks for the PRs - I think I had seen one of them already (I thought I has already merged it!). Sorry for the delay!
Jon On Thu, Sep 5, 2019 at 12:24 PM David Salter <wedevelopinj...@gmail.com> wrote: > Wow. That was quick. Thanks Jon :) > > > On 5 Sep 2019, at 12:23, Jonathan Gallimore < > jonathan.gallim...@gmail.com> wrote: > > > > Hi David > > > > Thanks for the nudge! I've merged those. Thanks for the PRs! > > > > Jon > > > > On Thu, Sep 5, 2019 at 12:21 PM David Salter <wedevelopinj...@gmail.com> > > wrote: > > > >> Hi, > >> > >> I’ve got a couple of PRs that have been outstanding for a few weeks. > >> > >> Can anybody merge these for me, or let me know if they need changes? > >> > >> https://github.com/apache/tomee/pull/530 < > >> https://github.com/apache/tomee/pull/530> > >> https://github.com/apache/tomee/pull/531 < > >> https://github.com/apache/tomee/pull/531> > >> > >> Thanks. > >> > >> David. > >
