Skip to content

Use the 2.1 branch as source of the documentation#214

Open
kit-ty-kate wants to merge 1 commit intomasterfrom
fix-213
Open

Use the 2.1 branch as source of the documentation#214
kit-ty-kate wants to merge 1 commit intomasterfrom
fix-213

Conversation

@kit-ty-kate
Copy link
Copy Markdown
Member

Fixes #213

@rjbou
Copy link
Copy Markdown
Contributor

rjbou commented Nov 23, 2022

This one should go in live or remain on master ?

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.

The default opam manual document master instead of the latest release

2 participants