Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of rust-lang#4922 - oli-cosmian:patch-1, r=flip1995
There are no per-file copyright headers anymore changelog: none
- Loading branch information