From ca1885fe099280ed204bbad014ed375f9341dd14 Mon Sep 17 00:00:00 2001
From: Christoffer Lerno <christoffer@aegik.com>
Date: Sat, 9 Sep 2023 22:50:25 +0200
Subject: [PATCH] Updated releasenotes.

---
 releasenotes.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/releasenotes.md b/releasenotes.md
index b75db83ec..27a5ae56e 100644
--- a/releasenotes.md
+++ b/releasenotes.md
@@ -3,6 +3,7 @@
 ## 0.5.0 Change List
 
 ### Changes / improvements
+- `void!` does not convert to `anyfault`.
 - `$$masked_load` / `$$masked_store` for vector masked load/store. 
 - `$$select` builtin for vector masked select.
 - Subtype matching in type switches.