diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index e67187d30..bac20c52e 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE 20dfcd2c981071513d027e7acaf2b4e4305b0809 049aad2262d96760472da8b9c5fc6c5e1a571893
\ No newline at end of file
+UPDATE 049aad2262d96760472da8b9c5fc6c5e1a571893 07055a98e8f4bf7154ab5920b8239740aeb5f6ca
\ No newline at end of file