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
