diff --git a/package.json b/package.json
index 8d705e4b73..5de81576fd 100644
--- a/package.json
+++ b/package.json
@@ -75,7 +75,7 @@
     "devtools-launchpad": "^0.0.108",
     "devtools-linters": "^0.0.3",
     "devtools-map-bindings": "^0.3.0",
-    "devtools-reps": "^0.12.3",
+    "devtools-reps": "^0.12.4",
     "devtools-source-editor": "0.0.7",
     "devtools-source-map": "^0.14.5",
     "devtools-splitter": "^0.0.5",