servlet-api (4.0.1-2) unstable; urgency=medium * libservlet-api-java-doc now replaces libservlet3.1-java-doc * Standards-Version updated to 4.3.0 -- Emmanuel Bourg <email address hidden> Tue, 15 Jan 2019 00:46:29 +0100