diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index aeb9135df..3c50eb1a4 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE 57609aec88871ef4eed226993c60dacade32c701 e36faebcfd93e5e22b72ebbf21ec06717d2f89e9
\ No newline at end of file
+UPDATE e36faebcfd93e5e22b72ebbf21ec06717d2f89e9 cde8e0c2894f99b4ec7cc8ae0def6f29dae1baff
\ No newline at end of file