Skip to content

Encoder: add missing new lines for server-side functions#630

Merged
dinosaure merged 1 commit intomainfrom
newline
Nov 23, 2023
Merged

Encoder: add missing new lines for server-side functions#630
dinosaure merged 1 commit intomainfrom
newline

Conversation

@dinosaure
Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Paul-Elliot <peada@free.fr>
@dinosaure dinosaure merged commit e3b24ef into main Nov 23, 2023
@dinosaure dinosaure deleted the newline branch November 23, 2023 13:56
dinosaure added a commit to dinosaure/opam-repository that referenced this pull request Feb 12, 2024
CHANGES:

- Update unikernels (@hannesm, mirage/ocaml-git#621)
- Extend the Smart protocol with `have` and `want` (@plangesd, @dinosaure, mirage/ocaml-git#626)
- Rename function to get capabilities from the client and the server (@Julow, mirage/ocaml-git#627)
- Extend the Smart protocol with a possible `done` or a `flush` (@plangesd, mirage/ocaml-git#628)
- Extend the Smart protocol with `ack` and handle empty request (@plangesd, @Julow, mirage/ocaml-git#629)
- Add missing new lines for the server side (@plangesd, mirage/ocaml-git#630)
- Be more cooperative with other services (like `http`) when we clone (@dinosaure, @hannesm, mirage/ocaml-git#631)
nberth pushed a commit to nberth/opam-repository that referenced this pull request Jun 18, 2024
CHANGES:

- Update unikernels (@hannesm, mirage/ocaml-git#621)
- Extend the Smart protocol with `have` and `want` (@plangesd, @dinosaure, mirage/ocaml-git#626)
- Rename function to get capabilities from the client and the server (@Julow, mirage/ocaml-git#627)
- Extend the Smart protocol with a possible `done` or a `flush` (@plangesd, mirage/ocaml-git#628)
- Extend the Smart protocol with `ack` and handle empty request (@plangesd, @Julow, mirage/ocaml-git#629)
- Add missing new lines for the server side (@plangesd, mirage/ocaml-git#630)
- Be more cooperative with other services (like `http`) when we clone (@dinosaure, @hannesm, mirage/ocaml-git#631)
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