diff --git a/changelogs/4.12.md b/changelogs/4.12.md
index 066a5ec0b..16e23dc6a 100644
--- a/changelogs/4.12.md
+++ b/changelogs/4.12.md
@@ -43,4 +43,10 @@ Released 28th December 2022.
 Released 3rd January 2023.
 
 ## Fixes
-- Added workarounds for an active exploit being used to deny service to servers.
\ No newline at end of file
+- Added workarounds for an active exploit being used to deny service to servers.
+
+# 4.12.5
+Released 6th January 2023.
+
+## Fixes
+- Removed a workaround for an old client bug in custom form responses. The code contained a denial-of-service vulnerability.
diff --git a/src/VersionInfo.php b/src/VersionInfo.php
index 95668c9d2..31791daa0 100644
--- a/src/VersionInfo.php
+++ b/src/VersionInfo.php
@@ -32,7 +32,7 @@ use function str_repeat;
 final class VersionInfo{
 	public const NAME = "PocketMine-MP";
 	public const BASE_VERSION = "4.12.5";
-	public const IS_DEVELOPMENT_BUILD = true;
+	public const IS_DEVELOPMENT_BUILD = false;
 	public const BUILD_CHANNEL = "stable";
 
 	private function __construct(){