[Giovanni Mascellani 2023-05-22] > Memo for myself: version 2013.5.1 has been released, the Debian package > should be updated. This unfortunately cannot be done immediately, > because the new version uses maven 3, which appears to be unsupported by > maven-debian-helper.
I suspect a new enough maven version is available now. -- Happy hacking Petter Reinholdtsen
