From 483a283c82fd4cabd1ed7c246dbb4dd298a5c1bb Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Mon, 30 Oct 2017 17:08:18 +0000
Subject: [PATCH] DevTools 1.12.6

---
 plugin.yml                     | 2 +-
 src/DevTools/ConsoleScript.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugin.yml b/plugin.yml
index 9897864..1f15013 100644
--- a/plugin.yml
+++ b/plugin.yml
@@ -1,6 +1,6 @@
 name: DevTools
 main: DevTools\DevTools
-version: 1.12.5
+version: 1.12.6
 api: [3.0.0-ALPHA7, 3.0.0-ALPHA8, 3.0.0-ALPHA9]
 load: STARTUP
 author: PocketMine Team
diff --git a/src/DevTools/ConsoleScript.php b/src/DevTools/ConsoleScript.php
index e2e36cd..ab0bdb9 100644
--- a/src/DevTools/ConsoleScript.php
+++ b/src/DevTools/ConsoleScript.php
@@ -15,7 +15,7 @@
  * GNU General Public License for more details.
 */
 
-const VERSION = "1.12.5";
+const VERSION = "1.12.6";
 
 $opts = getopt("", ["make:", "relative:", "out:", "entry:", "compress", "stub:"]);