REMOVE BEFORE MERGE: Add release tag for PR.

semio-ai · Nov 17, 2016 · a565d70 · a565d70
1 parent 5047b80
commit a565d70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deb/release b/deb/release
@@ -1 +1 @@
-1
+0+pr40-1