Release v0.7.2

STAMP-project · Nov 7, 2019 · 8ce7b69 · 8ce7b69
1 parent 8391bd1
commit 8ce7b69
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/camp/__init__.py b/camp/__init__.py
@@ -13,7 +13,7 @@ class About:
 
     PROGRAM = "CAMP"
 
-    VERSION = "0.7.1"
+    VERSION = "0.7.2"
 
     COMMIT_HASH = None
 

diff --git a/docs/pages/changelog.md b/docs/pages/changelog.md
@@ -6,6 +6,13 @@ changes that were made.
 
 *   CAMP v0.7
 
+    *   CAMP v0.7.2 (Nov. 7, 2019)
+
+        *   Fix [Issue
+            98](https://github.com/STAMP-project/camp/issues/98) about
+            resource selection at the component-level that failed when
+            refering to a file from the template of another component.
+
     *   CAMP v0.7.1 (Nov. 6, 2019)
 
         *   Upgrade Z3 to version 4.8.6