Release camkes-3.8.0

Update VERSION Update CHANGES
seL4 · Nov 20, 2019 · 27682e9 · 27682e9
1 parent 6b8fefe
commit 27682e9
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/CHANGES b/CHANGES
@@ -9,6 +9,14 @@ Upcoming release
 
 ## Changes
 
+
+## Upgrade Notes
+---
+camkes-3.8.0 2019-11-19
+Using seL4 version 11.0.0
+
+## Changes
+
 * Support for the new seL4 Endpoint GrantReply access right for CAmkES connector types.
   - This allows multi-sender/single-receiver connectors such as `seL4RPCCall` that don't also provide the ability for
     arbitrary capability transfer from sender to receiver. Previously the `seL4RPC` connector was used instead of

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