[Git][java-team/jabref][master] 8 commits: debian/maven.rules: update antlr* rules after the antlr3 3.5.2 -> 3.5.3 update.

gregor herrmann pushed to branch master at Debian Java Maintainers / jabref Commits: 60c9f47d by gregor herrmann at 2022-12-28T22:15:11+01:00 debian/maven.rules: update antlr* rules after the antlr3 3.5.2 - 3.5.3 update. Thanks: Lucas Nussbaum for the bug report. Closes: #1026675 - - - - -

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

gregor herrmann pushed new tag archive/debian/3.8.2+ds-17 at Debian Java Maintainers / jabref -- View it on GitLab: https://salsa.debian.org/java-team/jabref/-/tree/archive/debian/3.8.2+ds-17 You're receiving this email because of your account on salsa.debian.org.

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

gregor herrmann pushed new tag debian/3.8.2+ds-17 at Debian Java Maintainers / jabref -- View it on GitLab: https://salsa.debian.org/java-team/jabref/-/tree/debian/3.8.2+ds-17 You're receiving this email because of your account on salsa.debian.org.