[Git][java-team/eclipse-jdt-ui] Pushed new tag upstream/4.12

[Emmanuel Bourg]

Emmanuel Bourg pushed new tag upstream/4.12 at Debian Java Maintainers / eclipse-jdt-ui

-- 
View it on GitLab: https://salsa.debian.org/java-team/eclipse-jdt-ui/tree/upstream/4.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/20190806/a5656c4f/attachment.html>