|
From: | GNU bug Tracking System |
Subject: | bug#35545: closed ([PATCH] Add josm.) |
Date: | Wed, 13 Nov 2019 21:53:02 +0000 |
Your message dated Wed, 13 Nov 2019 22:52:11 +0100 with message-id <address@hidden> and subject line Re: [bug#35545] [PATCH] Add josm. has caused the debbugs.gnu.org bug report #35545, regarding [PATCH] Add josm. to be marked as done. (If you believe you have received this mail in error, please contact address@hidden.) -- 35545: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35545 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: [PATCH] Add josm. Date: Fri, 3 May 2019 14:58:36 +0200 Hi guix! this patch series adds josm, the Java OpenStreetMap editor, and its dependencies.
--- End Message ---
--- Begin Message ---Subject: Re: [bug#35545] [PATCH] Add josm. Date: Wed, 13 Nov 2019 22:52:11 +0100 Le Fri, 3 May 2019 14:58:36 +0200, Julien Lepiller <address@hidden> a écrit : > Hi guix! > > this patch series adds josm, the Java OpenStreetMap editor, and its > dependencies. > > > Finaly pushed as cfdbf2a5c43a6553dad4f7077de26cfa1c15d83b to f041db8696c7e8073761af5aa8f7599eec1d5174 along with an update to josm and jmapviewer, a fix to antlr3 and a new version of a patch related to svn that was previously reverted.
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |