Merge pull request rust-lang#735 from Mark-Simulacrum/delete-script-p…

…atch Remove PR patch from script-servo
nnethercote · Aug 2, 2020 · 9b6aa5d · 9b6aa5d
2 parents 8adf825 + 7c6e647
commit 9b6aa5d
Showing 1 changed file with 0 additions and 60 deletions.
diff --git a/collector/benchmarks/script-servo-2/1-pr-26983.patch b/collector/benchmarks/script-servo-2/1-pr-26983.patch