[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