This may be more of a problem with the fact that I don't know (yet) how to navigate the Atlassian web site. I am looking for update information about the Tomcat security bugs CVE-2018-1336 and CVE-2018-8037. I see that Jira 7.12.1 is available, but I couldn't find information about what version of Tomcat it includes, so I downloaded the TGZ-File and extract the tomcat-docs/RELEASE-NOTES file. That says "Apache Tomcat Version 8.5.29", which stiil has the vunerabilitis. I would prefer not downloading other versions to see if they have a fixed Tomcat.
Is there any current information on the status of a Jira version with a patched Tomcat?