Re: Bug#925454: RM: tomcat8 -- ROM; Replaced by tomcat9
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
Reply to: