From 71e3e3652250130762110c63a2649b04865fc74c Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Tue, 7 Mar 2023 15:33:03 +0000 Subject: [PATCH] Release 4.15.3 --- changelogs/4.15.md | 9 ++++++++- src/VersionInfo.php | 2 +- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/changelogs/4.15.md b/changelogs/4.15.md index b4a1f5dc4..32413bf7a 100644 --- a/changelogs/4.15.md +++ b/changelogs/4.15.md @@ -28,4 +28,11 @@ Released 24th February 2023. - Accept Minecraft: Bedrock Edition 1.19.63 (identical protocol to 1.19.62, but different version due to Mojang mixup). ## Fixes -- Fixed `World Population` timer sometimes not being stopped, causing strange results in timings reports. \ No newline at end of file +- Fixed `World Population` timer sometimes not being stopped, causing strange results in timings reports. + +# 4.15.3 +Released 7th March 2023. + +## Fixes +- Fixed `/dumpmemory` crash when any object contained an `INF` or `NaN` float value. +- Updated RakLib for security fixes. diff --git a/src/VersionInfo.php b/src/VersionInfo.php index b54f8eed1..7bc5b2ad1 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.15.3"; - public const IS_DEVELOPMENT_BUILD = true; + public const IS_DEVELOPMENT_BUILD = false; public const BUILD_CHANNEL = "stable"; private function __construct(){