On Fri, Sep 11, 2020 at 2:28 PM Martin Grigorov <mgrigo...@apache.org> wrote:
> Hi Remy, > > I'm not sure whether GitHub notified you about my comment on this commit: > > https://github.com/apache/tomcat/commit/2ff7bba79946a3716b136b0752c9fe7126b50499#r42227542 > I think you're supposed to use the mailing list for that since it's not a PR. Rémy