[Git][java-team/javatools] Pushed new tag debian/0.72

[Emmanuel Bourg]

Emmanuel Bourg pushed new tag debian/0.72 at Debian Java Maintainers / javatools

-- 
View it on GitLab: https://salsa.debian.org/java-team/javatools/tree/debian/0.72
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-java-commits/attachments/20181130/43654bad/attachment.html>