diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index 16adfa9e6..20b996e18 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE cb98ec6e0ce44ad9869195cd9d45fc6077d7ed76 ee04da846e773c54dd4474286d24ba47c3fb360f
\ No newline at end of file
+UPDATE ee04da846e773c54dd4474286d24ba47c3fb360f 5470217091cc04d79ec83104b3a249258ec6b92d
\ No newline at end of file