missing traitlets import

Zsailer · Zsailer · commit eb7e5c9d1808 · 2019-12-11T09:56:16.000-08:00
diff --git a/jupyter_server/extension/application.py b/jupyter_server/extension/application.py
@@ -4,7 +4,8 @@
 from traitlets import (
     Unicode, 
     List, 
-    Dict, 
+    Dict,
+    Bool,
     default, 
     validate
 )
