diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index 19ac1b5bc..16adfa9e6 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE 59832047cd20b22cb5aa38bb94f8dcc52882f31c cb98ec6e0ce44ad9869195cd9d45fc6077d7ed76
\ No newline at end of file
+UPDATE cb98ec6e0ce44ad9869195cd9d45fc6077d7ed76 ee04da846e773c54dd4474286d24ba47c3fb360f
\ No newline at end of file