|
Hi Ede, Do you want to review and merge the following PR ? : https://github.com/openjump-gis/openjump/pull/131 If you lack time, I have no problem to merge it myself, just try to discipline myself by not committing directly to the main ;-) Michaël |
_______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
