diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index b7746c650..1615fe7b0 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE 4828379239d73580798136d4f0e98b21f74e54cb 5c62e71359d23768ffd95d61d9f770f3ce6544a9
\ No newline at end of file
+UPDATE 5c62e71359d23768ffd95d61d9f770f3ce6544a9 7ea189d71dbffb7d20c8c1e4231d726996776f1a
\ No newline at end of file