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

[Andrej Shadura]

Andrej Shadura pushed new tag debian/0.72.5 at Debian Java Maintainers / javatools

-- 
View it on GitLab: https://salsa.debian.org/java-team/javatools/tree/debian/0.72.5
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/20190310/6d0b086d/attachment.html>