From 21db8fc9285d2f548c0123206d53cab059cf3b3d Mon Sep 17 00:00:00 2001
From: david gauchard <gauchard@laas.fr>
Date: Sat, 26 Jan 2019 00:03:47 +0100
Subject: [PATCH] 2.5.0-beta3 release (#5673)

---
 platform.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform.txt b/platform.txt
index 3af5e4da6d..b439067638 100644
--- a/platform.txt
+++ b/platform.txt
@@ -6,7 +6,7 @@
 # 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
+version=2.5.0-beta3
 
 runtime.tools.xtensa-lx106-elf-gcc.path={runtime.platform.path}/tools/xtensa-lx106-elf
 runtime.tools.esptool.path={runtime.platform.path}/tools/esptool