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