From 1fbb3b39b001744260213232b4db7c08c184229f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fernando=20Jim=C3=A9nez=20Moreno?= <ferjmoreno@gmail.com>
Date: Tue, 13 Aug 2019 09:43:06 +0200
Subject: [PATCH] Temporarily ignore duplicated url and deps crates

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

diff --git a/servo-tidy.toml b/servo-tidy.toml
index 8f5ff1ba1de..42a253b1aa7 100644
--- a/servo-tidy.toml
+++ b/servo-tidy.toml
@@ -37,6 +37,7 @@ packages = [
   "crossbeam-deque",
   "euclid", # https://github.com/servo/rust-webvr/pull/89
   "gl_generator", # https://github.com/servo/servo/pull/23288#issuecomment-494687746
+  "idna", # https://github.com/servo/servo/pull/23838
   "lock_api",
   "log",
   "mime",
@@ -44,9 +45,11 @@ packages = [
   "nix", # https://github.com/servo/servo/issues/23189#issuecomment-487512605
   "parking_lot",
   "parking_lot_core",
+  "percent-encoding", # https://github.com/servo/servo/pull/23838
   "rand_core",
   "scopeguard",
   "unicase",
+  "url", # https://github.com/servo/servo/pull/23838
 ]
 # Files that are ignored for all tidy and lint checks.
 files = [