diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index 78836835b..94cd9aa74 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE f6fcc24ccebbc0ca79713367768b5f014170f917 41cb98dee4c7aebf0aa20869db2f0cdfd3eba68c
\ No newline at end of file
+UPDATE 41cb98dee4c7aebf0aa20869db2f0cdfd3eba68c e5d8e469c5b80caa25800429f37e4f0810d95601
\ No newline at end of file