Closed cbentejac closed 7 months ago
This PR updates the Geogram dependency from version 1.8.3 to 1.8.8. The Docker images for the dependencies have been rebuilt, tagged and pushed, and are thus now used for the Linux CI and as the default dependencies images for any Docker build.
Description
This PR updates the Geogram dependency from version 1.8.3 to 1.8.8. The Docker images for the dependencies have been rebuilt, tagged and pushed, and are thus now used for the Linux CI and as the default dependencies images for any Docker build.