From ba453e71afec42117afa099e7633c4342923ca83 Mon Sep 17 00:00:00 2001
From: pylbrecht <palbrecht@mailbox.org>
Date: Tue, 14 Jan 2020 16:18:36 +0100
Subject: [PATCH] Add duplicate crates to servo-tidy.toml

---
 servo-tidy.toml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/servo-tidy.toml b/servo-tidy.toml
index 4b65de58f04..ca3e54c9cc5 100644
--- a/servo-tidy.toml
+++ b/servo-tidy.toml
@@ -53,6 +53,15 @@ packages = [
   # These can be removed once servo is updated to surfman 0.2
   "surfman",
   "surfman-chains",
+
+  # https://github.com/servo/servo/pull/25518
+  "core-foundation",
+  "core-foundation-sys",
+  "core-graphics",
+  "core-text",
+  "dirs",
+  "lyon_geom",
+  "rand_core",
 ]
 # Files that are ignored for all tidy and lint checks.
 files = [