Processed: forcibly merging 966338 981337

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 966338 981337
Bug #966338 {Done: Emmanuel Bourg <ebourg at apache.org>} [tomcat9] tomcat9: overrriding JAVA_HOME in /e/d/tomcat9 has changed
Bug #981337 [tomcat9] tomcat9: cannot set JAVA_HOME in /etc/default/tomcat9 when using systemd service unit
Marked Bug as done
Marked as fixed in versions tomcat9/9.0.40-1.
Marked as found in versions tomcat9/9.0.31-1~deb10u2.
Added tag(s) patch.
Bug #966338 {Done: Emmanuel Bourg <ebourg at apache.org>} [tomcat9] tomcat9: overrriding JAVA_HOME in /e/d/tomcat9 has changed
Marked as found in versions tomcat9/9.0.31-1~deb10u3.
Merged 966338 981337
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
966338: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=966338
981337: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=981337
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems