Skip to content

Conversation

@pomadchin
Copy link
Member

@pomadchin pomadchin commented Mar 31, 2022

Overview

This PR finalizes #3457

Checklist

  • ./CHANGELOG.md updated, if necessary. Link to the issue if closed, otherwise the PR.

@pomadchin pomadchin changed the title Lazy init Extent and ProjectedExtent circe codecs Lazy init Extent and ProjectedExtent Circe codecs Mar 31, 2022
@pomadchin pomadchin force-pushed the feature/extent-codecs branch from a64508f to fbeb7ad Compare March 31, 2022 19:55
@pomadchin pomadchin merged commit 53f8f97 into locationtech:master Mar 31, 2022
@pomadchin pomadchin deleted the feature/extent-codecs branch March 31, 2022 19:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant