Dongsu Park e0833c73e2 dev-lang/rust: adjust patches for rust 1.47.0
Remove unnecessary patches, add new patches for rust 1.47.0.
2020-10-13 13:45:01 +02:00
..