[jflex] branch master updated (ba71bc4 -> c735c38)

[Markus Koschany]

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

apo pushed a change to branch master
in repository jflex.

      from  ba71bc4   Run jflex and cup before the actual build to fix a compilation error.
       new  eea200c   Use compat level 11.
       new  125075c   Declare compliance with Debian Policy 4.1.3.
       new  ef77ca8   Use https for Format field. Update copyright years.
       new  caae45e   Change dependency from default-jre to default-jre-headless |
       new  196e4da   Update changelog
       new  2d3d57c   Change source/target to 1.7.
       new  c735c38   Remove trailing whitespace

The 7 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/changelog           | 14 +++++++++++++-
 debian/compat              |  2 +-
 debian/control             |  6 +++---
 debian/copyright           |  4 ++--
 debian/patches/build.patch |  4 ++--
 debian/rules               |  2 +-
 6 files changed, 22 insertions(+), 10 deletions(-)

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