[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 2fe6bd2440ed8deb96ca32f128552351811f8935
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Fri Jun 15 17:12:42 2012 +0000

    Bump Standards-Version to 3.9.3 (no changes).

diff --git a/debian/changelog b/debian/changelog
index 5f69a15..148e422 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 jedit (4.5.1+dfsg-1) UNRELEASED; urgency=low
 
   * New upstream release.
+  * Bump Standards-Version to 3.9.3 (no changes).
 
  -- Gabriele Giacone <1o5g4r8o at gmail.com>  Fri, 15 Jun 2012 14:35:42 +0200
 
diff --git a/debian/control b/debian/control
index 59924d3..63762f9 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Build-Depends: debhelper (>= 7.0.50~), javahelper (>= 0.24), ant, ant-optional,
  docbook-xsl, xsltproc, imagemagick, quilt (>= 0.46-7~), bsh-src (>= 2.0b4-11),
  docbook-xml, ant-contrib, bsh, docbook-xsl-saxon
 Build-Depends-Indep: openjdk-6-jdk | sun-java6-jdk
-Standards-Version: 3.9.2
+Standards-Version: 3.9.3
 DM-Upload-Allowed: yes
 Vcs-Git: git://git.debian.org/pkg-java/jedit.git
 Vcs-Browser: http://git.debian.org/?p=pkg-java/jedit.git

-- 
jedit - Java plugin-based editor for programmers