Skip to content
This repository has been archived by the owner on Jun 30, 2019. It is now read-only.

Domain name api #32

Merged
merged 2 commits into from
Jun 27, 2019
Merged

Domain name api #32

merged 2 commits into from
Jun 27, 2019

Conversation

hannesm
Copy link
Contributor

@hannesm hannesm commented Jun 27, 2019

for domain-name 0.2.0 compliance which already hit opam-repository!

@hannesm hannesm merged commit 585c409 into master Jun 27, 2019
@hannesm hannesm deleted the domain-name-api branch June 27, 2019 20:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant