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.

Sign up for GitHub

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

Jump to bottom

2.0.7 backported commits #4143

Merged
merged 11 commits into from
Apr 20, 2020
Merged

2.0.7 backported commits #4143

merged 11 commits into from
Apr 20, 2020

Commits on Apr 16, 2020

  1. fix opam-installer opam file (install)

    @rjbou
    rjbou committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    02a8740 View commit details
    Browse the repository at this point in the history

  2. vcs: silent module unused (warning 67)

    @rjbou
    rjbou committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    3113444 View commit details
    Browse the repository at this point in the history

  3. Fix warnings about Pervasives on recent OCaml

    @AltGr @rjbou
    AltGr authored and rjbou committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    c5aab9b View commit details
    Browse the repository at this point in the history

  4. more fix stdlib warnings

    @rjbou
    rjbou committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    840fdca View commit details
    Browse the repository at this point in the history

  5. remove unused module

    @rjbou
    rjbou committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    ce1a824 View commit details
    Browse the repository at this point in the history

  6. makefile: fix sed --promote-install-files dune arg retrieving 

    Get only the option itself in help, don't get appearing ones in text blocks
    @rjbou
    rjbou committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    2408252 View commit details
    Browse the repository at this point in the history

  7. Revert "Add missing Cmdliner.Manpage.escape calls" 

    This reverts commit 4198d7e.
    @rjbou
    rjbou committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    6fba4d4 View commit details
    Browse the repository at this point in the history

  8. arg: escape windows paths in manpage 

    * OpamArg.dir_sep, an escaped windows separator
* OpamArg.escape_path, a function to escape windows paths
    @rjbou
    rjbou committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    3192783 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2020

  1. config exec: error message if command not found

    @rjbou
    rjbou committed Apr 17, 2020
    Configuration menu
    Copy the full SHA
    fc64b3a View commit details
    Browse the repository at this point in the history

  2. 2.0.7: update changes

    @rjbou
    rjbou committed Apr 17, 2020
    Configuration menu
    Copy the full SHA
    957fefc View commit details
    Browse the repository at this point in the history

  3. bump bersion to 2.0.7

    @rjbou
    rjbou committed Apr 17, 2020
    Configuration menu
    Copy the full SHA
    f9a0601 View commit details
    Browse the repository at this point in the history