Index: DEPS |
diff --git a/DEPS b/DEPS |
index 9aef0a87cc9c04e22683c07926278945e4d33bb5..4a7f7014a84d5b7659c89a2655b1da9affb20385 100644 |
--- a/DEPS |
+++ b/DEPS |
@@ -73,7 +73,7 @@ vars = { |
"isolate_tag": "@0.2.3", |
"jinja2_rev": "@2222b31554f03e62600cd7e383376a7c187967a1", |
"json_rpc_2_tag": "@2.0.2", |
- "kernel_rev": "@11edd6208940d227dc0b2cf87a6518d2508c0858", |
+ "kernel_rev": "@423fb2fd34d74a44c8db4761e9dd8793a1170ac5", |
"linter_tag": "@0.1.28", |
"logging_tag": "@0.11.3+1", |
"markdown_tag": "@0.11.0", |