[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.4.2+dfsg-1-23-g998e08e

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit ab6c23ee3518f96788e519d1959d317d8d19f558
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Fri Jun 15 23:47:50 2012 +0000

    binary Pre-Depends on dpkg (>= 1.15.6~)

diff --git a/debian/control b/debian/control
index e3a8ae3..ae30e8c 100644
--- a/debian/control
+++ b/debian/control
@@ -15,6 +15,7 @@ Homepage: http://www.jedit.org/
 
 Package: jedit
 Architecture: all
+Pre-Depends: dpkg (>= 1.15.6~)
 Depends: ${misc:Depends}, openjdk-6-jre | sun-java6-jre, java-wrappers (>= 0.1.14)
 Description: Plugin-based editor for programmers
  As one of the most feature rich editors available, jEdit boasts support for

-- 
jedit - Java plugin-based editor for programmers