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

clarify Set.diff documentation #2119

Merged
merged 1 commit into from Oct 26, 2018

Conversation

Projects
None yet
3 participants
@gasche
Copy link
Member

commented Oct 26, 2018

fixes MPR#7868

@gasche gasche force-pushed the gasche:document-set-diff branch from ace4df9 to d235b1b Oct 26, 2018

@nojb

nojb approved these changes Oct 26, 2018

@alainfrisch alainfrisch merged commit f8f04e7 into ocaml:trunk Oct 26, 2018

2 checks passed

continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

damiendoligez added a commit to damiendoligez/ocaml that referenced this pull request Nov 5, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.