[JPP-Devel] [openjump-gis/openjump] 1eb615: upgrade aggregation and graph extension

Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: 1eb615204ebf5ad3d4780b6695ea3dd89141529b https://github.com/openjump-gis/openjump/commit/1eb615204ebf5ad3d4780b6695ea3dd89141529b Author: Michaël Michaud Date: 2022-08-27 (Sat, 27 Aug 2022)

[JPP-Devel] [openjump-gis/openjump] b5d9c0: update bsheditor to v2.0.1 (fix I18N issues)

Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: b5d9c08713f34e3e5bcd6f007459be304e7f3f92 https://github.com/openjump-gis/openjump/commit/b5d9c08713f34e3e5bcd6f007459be304e7f3f92 Author: Michaël Michaud Date: 2022-08-27 (Sat, 27 Aug 2022)

[JPP-Devel] [openjump-gis/openjump] 1bb819: update matching extension to v2.0.2 (fix I18N for ...

Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: 1bb8195152a96ea8f209b193ab4de097581994aa https://github.com/openjump-gis/openjump/commit/1bb8195152a96ea8f209b193ab4de097581994aa Author: Michaël Michaud Date: 2022-08-27 (Sat, 27 Aug 2022)