bump version: 0.9.4

rschwarz · rschwarz · commit fb9252d62297 · 2020-04-08T19:21:54.000+02:00
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "SCIP"
 uuid = "82193955-e24f-5292-bf16-6f2c5261a85f"
-version = "0.9.3"
+version = "0.9.4"
 
 [deps]
 CEnum = "fa961155-64e5-5f13-b03f-caf6b980ea82"
