diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index 47b55eadc..958d2d56c 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE 07055a98e8f4bf7154ab5920b8239740aeb5f6ca 49fc97dfe8d48175db34728d5dd0f08f6164fb08
\ No newline at end of file
+UPDATE 49fc97dfe8d48175db34728d5dd0f08f6164fb08 f6fcc24ccebbc0ca79713367768b5f014170f917
\ No newline at end of file