Skip to content

Update maxminddb#119

Merged
horgh merged 2 commits intomainfrom
greg/update-maxminddb
Sep 24, 2021
Merged

Update maxminddb#119
horgh merged 2 commits intomainfrom
greg/update-maxminddb

Conversation

@oschwald
Copy link
Member

  • Explicitly define public API
  • Simplify type check

@horgh horgh merged commit 7ab8c64 into main Sep 24, 2021
@horgh horgh deleted the greg/update-maxminddb branch September 24, 2021 18:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants