> On Dec 2, 2019, at 4:21 PM, Mark Thomas <ma...@apache.org> wrote:
>
> On 02/12/2019 21:07, Chris Cheshire wrote:
>
> <snip/>
>
>> File on bugzilla?
>
> No need. It is https://bz.apache.org/bugzilla/show_bug.cgi?id=63815
>
> It is fixed as far as we can until the jdg issue is fixed.
>
> Mark
My search-fu is not very good, I didn’t find anything when I looked first.
Cheers :)
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org
For additional commands, e-mail: users-h...@tomcat.apache.org
