Is Tomcat 8.5.15 officially released? The home page (http://tomcat.apache.org/index.html) seems to indicate that it was released 2017-05-10. however, the text of the section references the "release of version 8.5.14" and "notable changes compared to 8.5.13." And the changelog link hits the 8.5.14 anchor. Also, the archives show no 8.5.15 post to the tomcat-announce list.
Perhaps the release is still in progress, but the page has been in this state for a few days. Thanks, Adam
