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

Some clarifications about depexts #4671

Merged
merged 2 commits into from
Jun 6, 2021
Merged

Conversation

AltGr
Copy link
Member

@AltGr AltGr commented May 18, 2021

  • update the manual
  • fix a misleading unavailability message

Ref. #4662

Copy link
Member

@dra27 dra27 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

doc/pages/Manual.md Outdated Show resolved Hide resolved
@rjbou rjbou added this to the 2.1.0~rc milestone May 18, 2021
src/state/opamSwitchState.ml Outdated Show resolved Hide resolved
@rjbou
Copy link
Collaborator

rjbou commented May 25, 2021

ping @AltGr on new modifications

@rjbou rjbou force-pushed the noassume-depexts branch from 525a6ab to ee01fe0 Compare June 4, 2021 13:17
AltGr and others added 2 commits June 6, 2021 14:30
* update the manual
* fix a misleading unavailability message

Ref. ocaml#4662
@rjbou rjbou force-pushed the noassume-depexts branch from ee01fe0 to a7e197d Compare June 6, 2021 12:31
@rjbou rjbou merged commit 5caedce into ocaml:master Jun 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants