diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index c0d6c8a43..78cd2a9bc 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE aa4ae983bf62467e62c6214bab04664d0c83a34c 60d6243a12bb65074eefcfb40c40d517f6666118
\ No newline at end of file
+UPDATE 60d6243a12bb65074eefcfb40c40d517f6666118 57609aec88871ef4eed226993c60dacade32c701
\ No newline at end of file