From 951aeffa765605f30ae144a1075fac9c93fa199e Mon Sep 17 00:00:00 2001
From: Develo <deveyes@gmail.com>
Date: Wed, 6 Feb 2019 00:23:47 -0300
Subject: [PATCH] Release 2.5.0 (#5724)

---
 platform.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platform.txt b/platform.txt
index 3af5e4da6d..47971cb936 100644
--- a/platform.txt
+++ b/platform.txt
@@ -5,8 +5,8 @@
 # For more info:
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
-name=ESP8266 Boards (2.5.0-dev)
-version=2.5.0-dev
+name=ESP8266 Boards (2.5.0)
+version=2.5.0
 
 runtime.tools.xtensa-lx106-elf-gcc.path={runtime.platform.path}/tools/xtensa-lx106-elf
 runtime.tools.esptool.path={runtime.platform.path}/tools/esptool