Re: [JPP-Devel] PR #131

On 02.09.2024 09:02, Michaud Michael via Jump-pilot-devel wrote: 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

[JPP-Devel] PR #131

Hi Ede,Do you want to review and merge the following PR ? : https://github.com/openjump-gis/openjump/pull/131If 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 ___ Jum