Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Update to web.xml, fix to #1132 #1178
This PR fixes PR #275 which was actually a botched update to Servlet 3.0 as it only updated the version number in the file name, but not the path or the version in the declaration. It will drop Tomcat 6 support, which might not be a problem, given that Tomcat 6 was EOL'ed in 2016.