portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Release 14.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 2025-11-25 09:28:19 +11:00 committed by Gerwin Klein
parent 11c5d50527
commit c0fc32450f
No known key found for this signature in database
GPG key ID: 20A847CE6AB7F5F3
2 changed files with 10 additions and 2 deletions
Show stats 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
---
## 14.0.0 2025-11-25: BREAKING
### Security-relevant Changes

2
VERSION
View file

@ -1 +1 @@
13.0.0-dev
14.0.0