[jedit] 01/01: add default-jre as first JRE dependency

Tony Mancill tmancill at alioth.debian.org
Sun Oct 20 17:50:18 UTC 2013


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

tmancill pushed a commit to branch master
in repository jedit.

commit ed9c353b3b2971cc2d2d5f26f1ebd337c865e96a
Author: tony mancill <tmancill at debian.org>
Date:   Sun Oct 20 10:50:11 2013 -0700

    add default-jre as first JRE dependency
---
 debian/changelog |    7 +++++++
 debian/control   |    2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 74889ba..bb972e4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+jedit (5.0.0+dfsg-4) UNRELEASED; urgency=low
+
+  * Add non-virtual "default-jre" as the first JRE dependency. 
+    - Thanks to Eric Lavarde.  (Closes: #726879)
+
+ -- tony mancill <tmancill at debian.org>  Sun, 20 Oct 2013 10:48:33 -0700
+
 jedit (5.0.0+dfsg-3) unstable; urgency=low
 
   * Depend on any JRE that provides java[67]-runtime (Closes: #724620)
diff --git a/debian/control b/debian/control
index 74db2a6..4a79b09 100644
--- a/debian/control
+++ b/debian/control
@@ -31,7 +31,7 @@ Package: jedit
 Architecture: all
 Pre-Depends: dpkg (>= 1.15.6~)
 Depends: java-wrappers (>= 0.1.14),
-         java7-runtime | java6-runtime,
+         default-jre | java7-runtime | java6-runtime,
          ${misc:Depends}
 Description: Plugin-based editor for programmers
  As one of the most feature rich editors available, jEdit boasts support for

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



More information about the pkg-java-commits mailing list