FSchumacher commented on PR #640:
URL: https://github.com/apache/tomcat/pull/640#issuecomment-1646534435
> You should add the JBS ID. AFAIR, I have reported that back then.
What is a JBS ID? Where did you report it when?
The only two IDs I can think of are the old report in our bugz
michael-o commented on PR #640:
URL: https://github.com/apache/tomcat/pull/640#issuecomment-1646537415
> > You should add the JBS ID. AFAIR, I have reported that back then.
>
> What is a JBS ID? Where did you report it when? The only two IDs I can
think of are the old report in our bu
rmaucher commented on PR #640:
URL: https://github.com/apache/tomcat/pull/640#issuecomment-1646648446
Ok, so that was a useful bug report then :) Perfect (although no backport
unfortunately).
--
This is an automated message from the Apache Git Service.
To respond to the message, please lo
