[Git][java-team/jabref] Pushed new tag debian/3.8.2+ds-13

[gregor herrmann]

gregor herrmann pushed new tag debian/3.8.2+ds-13 at Debian Java Maintainers / jabref

-- 
View it on GitLab: https://salsa.debian.org/java-team/jabref/-/tree/debian/3.8.2+ds-13
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/20200504/38c75dbd/attachment.html>