deps/hs-backend-booster_release: Set Version 8ecb99be22406efbdf151eb2…

…0a8d253d72a961f2
runtimeverification · Nov 15, 2023 · eb32840 · eb32840
1 parent faffe57
commit eb32840
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-09ea14a2196589264eba4aed1ba5d6de40bcebd4
+8ecb99be22406efbdf151eb20a8d253d72a961f2