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