The following commit has been merged in the master branch:
commit f53e534dfdf2d39c87846cd3bfd4a18bb012b251
Author: David Paleino <>
Date:   Tue Sep 7 09:57:53 2010 +0200

    Fix patch

diff --git a/debian/patches/20-bts.patch b/debian/patches/20-bts.patch
index bb7c782..12bc0a9 100644
--- a/debian/patches/20-bts.patch
+++ b/debian/patches/20-bts.patch
@@ -89,7 +89,7 @@ Forwarded: no
 -                            tr("You have encountered an error in JOSM. Before 
you file a bug report " +
 -                            "make sure you have updated to the latest version 
of JOSM here:")), GBC.eol());
 -                    p.add(new 
UrlLabel("";), GBC.eop().insets(8,0,0,0));
-+                            tr("Please report a bug against josm.")), 
++                            tr("Please report a bug against josm.")), 
                      p.add(new JMultilineLabel(
 -                            tr("You should also update your plugins. If 
neither of those help please " +
 -                            "file a bug report in our bugtracker using this 
link:")), GBC.eol());

Java OpenStreetMap editor

Pkg-grass-devel mailing list

Reply via email to