tag 846683 + pending thanks Some bugs in the libspring-java package are closed in revision adae00218715da9fd12381967929e55931606764 in branch 'master' by Emmanuel Bourg
The full diff can be seen at https://anonscm.debian.org/cgit/pkg-java/libspring-java.git/commit/?id=adae002 Commit message: No longer build spring-instrument-tomcat (obsolete) (Closes: #846683)
