diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index 4adc4a4f3..7b9b49122 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE d83a757a4c04a64e12ce0659764e55a07be47b41 be3929609734bf2d44f7edce0a7b25963a0b4e92
\ No newline at end of file
+UPDATE be3929609734bf2d44f7edce0a7b25963a0b4e92 4a0cd8b6a37be2f4fe78f4e5d0439a0ae8ba6a7a
\ No newline at end of file