Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove old, no-longer-necessary mdbook patch from workspace manifest
Removes an old patch that was once required after a Rust update revealed some borrow-related soundness issues in mdbook. rust-lang/mdBook#1861
- Loading branch information