From cb3a52dc6fbb7c9832b79edc39691f2ed6b016b0 Mon Sep 17 00:00:00 2001
From: Gregory Terzian <gterzian@users.noreply.github.com>
Date: Thu, 2 Aug 2018 18:08:28 +0200
Subject: [PATCH] remove default from select

---
 components/script/dom/dedicatedworkerglobalscope.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/components/script/dom/dedicatedworkerglobalscope.rs b/components/script/dom/dedicatedworkerglobalscope.rs
index 441b6b93b18e..18134048477a 100644
--- a/components/script/dom/dedicatedworkerglobalscope.rs
+++ b/components/script/dom/dedicatedworkerglobalscope.rs
@@ -285,7 +285,6 @@ impl DedicatedWorkerGlobalScope {
             recv(scope.from_devtools_sender().map(|_| devtools_port), msg) => {
                 msg.map(MixedMessage::FromDevtools)
             }
-            default => None
         }
     }