diff --git a/doc/release_notes.md b/doc/release_notes.md
index edf99f7..df50d55 100644
--- a/doc/release_notes.md
+++ b/doc/release_notes.md
@@ -5,6 +5,25 @@ recent releases and a list of known issues.
 
 ## Release History and Changes
 
+### Reliance Edge v2.5.1, May 2020
+
+#### Common Code Changes
+
+- Rebrand from Datalight to Tuxera.  For details, please read the following:
+  <https://www.tuxera.com/blog/tuxera-and-datalight-continue-forward-as-one-unified-brand-tuxera/>
+- Fix a v2.5 regression where the checker (available in the
+  commercially-licensed SDK) did not work when run as a standalone application.
+
+#### Linux Port Changes
+
+- Fix a v2.5 regression where the RAM disk was erroneously allocated as a
+  zero-sized buffer.
+
+#### Win32 Port Changes
+
+- Fix a v2.5 regression where the powerint and errinject test projects (provided
+  with the commercially-licensed SDK) were not functional.
+
 ### Reliance Edge v2.5, April 2020
 
 #### Common Code Changes
diff --git a/doc/release_notes.txt b/doc/release_notes.txt
index 32488c7..45ddb60 100644
--- a/doc/release_notes.txt
+++ b/doc/release_notes.txt
@@ -9,6 +9,27 @@ course of recent releases and a list of known issues.
 
 Release History and Changes
 
+Reliance Edge v2.5.1, May 2020
+
+Common Code Changes
+
+-   Rebrand from Datalight to Tuxera. For details, please read the
+    following:
+    https://www.tuxera.com/blog/tuxera-and-datalight-continue-forward-as-one-unified-brand-tuxera/
+-   Fix a v2.5 regression where the checker (available in the
+    commercially-licensed SDK) did not work when run as a standalone
+    application.
+
+Linux Port Changes
+
+-   Fix a v2.5 regression where the RAM disk was erroneously allocated
+    as a zero-sized buffer.
+
+Win32 Port Changes
+
+-   Fix a v2.5 regression where the powerint and errinject test projects
+    (provided with the commercially-licensed SDK) were not functional.
+
 Reliance Edge v2.5, April 2020
 
 Common Code Changes
diff --git a/include/redver.h b/include/redver.h
index 3ccd620..8854015 100644
--- a/include/redver.h
+++ b/include/redver.h
@@ -33,7 +33,7 @@
 
     <!-- This macro is updated automatically: do not edit! -->
 */
-#define RED_BUILD_NUMBER "863"
+#define RED_BUILD_NUMBER "864"
 
 #define RED_KIT_GPL         0U  /* Open source GPL kit. */
 #define RED_KIT_COMMERCIAL  1U  /* Commercially-licensed kit. */
@@ -48,13 +48,13 @@
 
 /** @brief Version number to display in output.
 */
-#define RED_VERSION "v2.5"
+#define RED_VERSION "v2.5.1"
 
 /** @brief Version number in hex.
 
     The most significant byte is the major version number, etc.
 */
-#define RED_VERSION_VAL 0x02050000U
+#define RED_VERSION_VAL 0x02050100U
 
 /** @brief On-disk version number.