[Git][java-team/antlr4] Pushed new tag upstream/4.7.2

[Andrej Shadura]

Andrej Shadura pushed new tag upstream/4.7.2 at Debian Java Maintainers / antlr4

-- 
View it on GitLab: https://salsa.debian.org/java-team/antlr4/tree/upstream/4.7.2
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/20190129/38b9c670/attachment.html>