Pin jsoo-css

davesnx · Oct 9, 2023 · bf5ef94 · bf5ef94
1 parent cb24a7e
commit bf5ef94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -57,7 +57,7 @@ setup-githooks: ## Setup githooks
 .PHONY: pin
 pin: ## Pin dependencies
 	opam pin add jsoo-react.dev "git+https://github.com/ml-in-barcelona/jsoo-react.git#8fda15c39665ac27841c7659422f82ac331e0a01" -y
-	opam pin add jsoo-css.dev "git+https://github.com/ml-in-barcelona/jsoo-css.git#879cda8f5f708b810b8b8f7415a80c6bbaa86961" -y
+	opam pin add jsoo-css.dev "git+https://github.com/ml-in-barcelona/jsoo-css.git#8169b6764eab18d4cb98ce8f791cd47a54b1e954" -y
 
 .PHONY: create-switch
 create-switch: ## Create opam switch