Wow. That was quick. Thanks Jon :)
> On 5 Sep 2019, at 12:23, Jonathan Gallimore <[email protected]>
> 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 <[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.
