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
<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 ;-)
sure, can do. added comments, but forgot to "finish" the review so they
remained pending in the PR.
sunny regards ..ede
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
