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.