Thomas Kotzian Thu, 13 Aug 2020 08:06:33 -0700
Success report. tomcat 9.0.37-3 works fine now. Thank you!
