Thanks Ede Il giorno mer 19 ott 2022 alle ore 15:04 <edgar.sol...@web.de> ha scritto:
> hey Peppe, > > supposing your continued interst in these extension, i added your github > account as maintainer to these two extension. this should give you full > access including push and committing PRs. feel free to build a distro and > add a PR on https://github.com/openjump-gis/openjump/pulls when the > extension is published, like e.g. these > https://github.com/openjump-gis/vertex-symbols/releases . > > matching inclusion commits in OJ look like > https://github.com/openjump-gis/openjump/commit/8a1afec4b0b808bdaaf20efca1bf3f65aaaf4a6c > then. > > sunny regards ..ede > > > _______________________________________________ > Jump-pilot-devel mailing list > Jump-pilot-devel@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel >
_______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel