fixed 962156 josm/0.0.svn16538+dfsg-3 thanks Already reported in #962060 and fixed in -3.
Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1
fixed 962156 josm/0.0.svn16538+dfsg-3 thanks Already reported in #962060 and fixed in -3.
Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1