Skip to content

Update to geo-types 0.7.8#153

Merged
bors[bot] merged 1 commit into
georust:mainfrom
urschrei:master
Feb 22, 2023
Merged

Update to geo-types 0.7.8#153
bors[bot] merged 1 commit into
georust:mainfrom
urschrei:master

Conversation

@urschrei
Copy link
Copy Markdown
Member

Also updates references to correct libproj version in docs

@lnicola
Copy link
Copy Markdown
Member

lnicola commented Feb 22, 2023

bors r+

@bors bors Bot merged commit 4b19455 into georust:main Feb 22, 2023
@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Feb 22, 2023

Build succeeded:

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.

2 participants