From 51a8905fb3d5753d12932625b5d1bce9f4300e51 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Sat, 4 Aug 2018 16:41:16 +0100
Subject: [PATCH] Release 3.1.3

---
 src/pocketmine/PocketMine.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pocketmine/PocketMine.php b/src/pocketmine/PocketMine.php
index 4b5c355c1..08d0a46fd 100644
--- a/src/pocketmine/PocketMine.php
+++ b/src/pocketmine/PocketMine.php
@@ -38,7 +38,7 @@ namespace pocketmine {
 
 	const NAME = "PocketMine-MP";
 	const BASE_VERSION = "3.1.3";
-	const IS_DEVELOPMENT_BUILD = true;
+	const IS_DEVELOPMENT_BUILD = false;
 	const BUILD_NUMBER = 0;
 
 	const MIN_PHP_VERSION = "7.2.0";