diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index bf67d6cc6..cbd170ea5 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE 9487f3aca95d07d2de88cabd814634ad895ffe6e 880bd944100e2e2fa963d2eb00d3043e8f406ff7
\ No newline at end of file
+UPDATE 880bd944100e2e2fa963d2eb00d3043e8f406ff7 d83a757a4c04a64e12ce0659764e55a07be47b41
\ No newline at end of file