Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update documentation #19

Merged
merged 1 commit into from
Oct 23, 2022
Merged

Update documentation #19

merged 1 commit into from
Oct 23, 2022

Conversation

quernd
Copy link
Collaborator

@quernd quernd commented Oct 22, 2022

Updates the docs to reflect the addition of grpc-async as well as a few changes in the interfaces.

This should eventually be automatic (see #2) but having updated docs before the planned Opam release is nice.

@quernd quernd requested a review from wokalski October 22, 2022 16:22
@quernd
Copy link
Collaborator Author

quernd commented Oct 23, 2022

This is basically housekeeping, so I'm just gonna go ahead and merge it.

@quernd quernd merged commit 60f6579 into main Oct 23, 2022
@wokalski wokalski deleted the update-docs branch October 23, 2022 09:41
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