Bug#764781: Upstream change

2014-10-21 Thread Vincent Privat
On Mon, 13 Oct 2014 23:35:26 +0200 Vincent Privat < vinc...@josm.openstreetmap.de> wrote: > If that helps, I have adapted this change in r7616: > https://josm.openstreetmap.de/changeset/7616/josm JOSM 7643 has been released as new tested version: https://lists.openstreetmap.org/pipermail/josm-dev/

Bug#764781: Upstream change

2014-10-13 Thread Vincent Privat
Hi, If that helps, I have adapted this change in r7616: https://josm.openstreetmap.de/changeset/7616/josm Cheers, Vincent