Release camkes-3.7.0

Update VERSION Update CHANGES
seL4 · Nov 11, 2018 · cd830d2 · cd830d2
1 parent 95c545d
commit cd830d2
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/CHANGES b/CHANGES
@@ -10,6 +10,14 @@ Upcoming release
 ## Changes
 
 
+## Upgrade Notes
+---
+camkes-3.7.0 2018-11-12
+Using seL4 version 10.1.1
+
+## Changes
+
+
 ## Upgrade Notes
 ---
 camkes-3.6.0 2018-11-07

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-camkes-3.6.0-dev
+camkes-3.7.0