The following commit has been merged in the master branch:
commit 93cfa801b97140a3e941dec1cd12a7ad8e0b7e3d
Author: Gabriele Giacone <[email protected]>
Date: Fri Jun 15 14:35:23 2012 +0200
Fix d/watch.
diff --git a/debian/watch b/debian/watch
index ffdf152..f26bc6f 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,4 @@
version=3
-opts="uversionmangle=s/([0-9]*)\.([0-9]*)(pre)([0-9]*)/$1.$2/,\
+opts="uversionmangle=s/pre/~pre/,\
dversionmangle=s/\+dfsg//" \
http://sf.net/jedit/jedit(.*)source.tar.bz2
--
jedit - Java plugin-based editor for programmers
_______________________________________________
pkg-java-commits mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
