v1.13.0 release

nerves-project · Nov 5, 2023 · 40addc0 · 40addc0
1 parent abe87e4
commit 40addc0
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,13 @@
 # Changelog
 
+## v1.13.0
+
+* New features
+  * Save and restore random number seeds with [SeedRNG](https://git.zx2c4.com/seedrng/tree/README.md).
+    This saves seeds to `/root/seedrng` since that's a persisted, writable
+    location on Nerves. If not using Nerves, this location can be changed at
+    compile-time using `LOCALSTATEDIR`.
+
 ## v1.12.3
 
 * Bug fixes

diff --git a/Makefile b/Makefile
@@ -1,4 +1,4 @@
-VERSION=1.12.3
+VERSION=1.13.0
 
 CFLAGS+=-Wall -Wextra -O2