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 <[email protected]> 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.
