diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index 33b105e24..04951db42 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE ca36bf3f92b6d1ec68e992c7b3dcb73a60d25cf3 8dd288f23fa94c89b2f254ab26fa4bdaf57d1884
\ No newline at end of file
+UPDATE 8dd288f23fa94c89b2f254ab26fa4bdaf57d1884 91ac1f39f47a60375b0007eac87152dd933f5a3c
\ No newline at end of file