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

[Jochen Sprickerhof]

Jochen Sprickerhof pushed new tag debian/0.72.12 at Debian Java Maintainers / javatools

-- 
View it on GitLab: https://salsa.debian.org/java-team/javatools/-/tree/debian/0.72.12
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/20200514/018b2798/attachment.html>