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

Remove last dependency on pin-project #629

Closed
wants to merge 5 commits into from
Closed

Remove last dependency on pin-project #629

wants to merge 5 commits into from

Commits on Jan 17, 2022

  1. Fix sometimes-unused dependencies

    @jplatte
    jplatte committed Jan 17, 2022
    Configuration menu
    Copy the full SHA
    a508d86 View commit details
    Browse the repository at this point in the history

  2. Remove html_root_url 

    It is no longer recommended to set it:
rust-lang/api-guidelines#230
    @jplatte
    jplatte committed Jan 17, 2022
    Configuration menu
    Copy the full SHA
    e280aef View commit details
    Browse the repository at this point in the history

  3. Remove unnecessary item from release instructions 

    Path dependencies are not problematic for publishing as long as a
version is also specified.
    @jplatte
    jplatte committed Jan 17, 2022
    Configuration menu
    Copy the full SHA
    9789c09 View commit details
    Browse the repository at this point in the history

  4. Remove pin-project dependency 

    The only thing it was generating is written out into the source instead.
    @jplatte
    jplatte committed Jan 17, 2022
    Configuration menu
    Copy the full SHA
    a864d79 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2022

  1. Merge branch 'master' into pin-project-lite

    @olix0r
    olix0r authored Jan 18, 2022
    Configuration menu
    Copy the full SHA
    f89ca17 View commit details
    Browse the repository at this point in the history