The following commit has been merged in the master branch:
commit 056239a7735068ecc9915171220987576d19eb01
Author: David Paleino <da...@debian.org>
Date:   Thu Oct 11 09:50:38 2012 +0200

    Refresh patch

diff --git a/debian/patches/150_routing.diff b/debian/patches/150_routing.diff
index 52e813a..af900ee 100644
--- a/debian/patches/150_routing.diff
+++ b/debian/patches/150_routing.diff
@@ -11,7 +11,7 @@ Forwarded: no
 +++ josm-plugins/routing/build.xml
 @@ -31,6 +31,10 @@
      <!-- enter the *lowest* JOSM version this plugin is currently compatible 
with -->
-     <property name="plugin.main.version" value="4980"/>
+     <property name="plugin.main.version" value="5464"/>
  
 +    <property name="jgrapht" value="/usr/share/java/jgrapht0.8.jar"/>
 +    <property name="log4j" value="/usr/share/java/log4j-1.2.jar"/>

-- 
Plugins for JOSM

_______________________________________________
Pkg-osm-commits mailing list
Pkg-osm-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-osm-commits

Reply via email to