diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index 1a1bbea57..64147c91c 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE e5d8e469c5b80caa25800429f37e4f0810d95601 226e428fcce9d9a76a6030b1bdd25d3d5dbaf62f
\ No newline at end of file
+UPDATE 226e428fcce9d9a76a6030b1bdd25d3d5dbaf62f b212e5a0a6396dfcb66f0cfae898373df6bba092
\ No newline at end of file