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

[Andrej Shadura]

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

-- 
View it on GitLab: https://salsa.debian.org/java-team/javatools/tree/debian/0.72.3
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/67b0c7c1/attachment.html>