Bug#925473: Bug#925454: RM: tomcat8 -- ROM; Replaced by tomcat9

[Emmanuel Bourg]

Le 25/03/2019 à 16:33, Thorsten Glaser a écrit :

> Oh, goodie. I had not realised this is, as the init system diversity GR
> did not pass, still a “must”.
> 
> In this case it’s easy… I’m cloning this as RC bug against tomcat9 and
> will work within the next couple of days on fixing this by providing a
> proper init script, as team upload / RC squash.

When it's ready please let me review the update before uploading. Not
changing the maintainer scripts nor the configuration files in the
process would be nice.

Emmanuel Bourg