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

Attempt to workaround unused-deps CI error by updating mdbook to 0.4.20 and applying upstream patch #2360

Merged
merged 2 commits into from
Jul 22, 2022
Merged

Attempt to workaround unused-deps CI error by updating mdbook to 0.4.20 and applying upstream patch #2360

merged 2 commits into from
Jul 22, 2022

Commits on Jul 22, 2022

  1. Attempt to fix unused-deps CI error by updating mdbook to 0.4.20

    @mitchmindtree
    mitchmindtree committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    939d981 View commit details
    Browse the repository at this point in the history

  2. Use temporary patch for mdbook 0.4.20 to work around rust nightly bre… 

    …akage
    @mitchmindtree
    mitchmindtree committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    dce6d4a View commit details
    Browse the repository at this point in the history