RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Release 13.0.0

Browse Source 
Update VERSION
Update CHANGES.md

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
seL4 CI
2024-07-01 17:20:56 +10:00
committed by Gerwin Klein
parent 4f1e7bdfa0
commit 2249143c73
2 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
CHANGES.md
View File

@@ -21,7 +21,15 @@ description indicates whether it is SOURCE-COMPATIBLE, BINARY-COMPATIBLE, or BRE
--- ---
## Upcoming release: BREAKING ## Upcoming release: BINARY COMPATIBLE
### Changes
### Upgrade Notes
---
## 13.0.0 2024-07-01: BREAKING
### Security-relevant Changes ### Security-relevant Changes

2
VERSION
View File

@@ -1 +1 @@
12.1.0-dev 13.0.0