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