diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index 2b29b3db5..fb7e58f15 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE 4a0cd8b6a37be2f4fe78f4e5d0439a0ae8ba6a7a c6149fe54c223f962a908fd84977561ded99e3bc
\ No newline at end of file
+UPDATE c6149fe54c223f962a908fd84977561ded99e3bc 6b914b1f00cdaf23ab37cd71b6ca9a35865032b2
\ No newline at end of file