[jabref] branch dev updated (6b57dac -> 841dced)

[Tony Mancill]

This is an automated email from the git hooks/post-receive script.

tmancill pushed a change to branch dev
in repository jabref.

      from  6b57dac   clean-up some debian/patches applicable to 2.10
       new  8bb817f   use DH 10
       new  f62750d   add runtime dependency on Java8 and antlr4
       new  841dced   drop build-dep and binary-dep on velocity

The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/compat  |  2 +-
 debian/control | 11 +++++------
 2 files changed, 6 insertions(+), 7 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git