From 9ea3de4bb26b3cd988a372bbeb19d41be2cd7e4c Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 15 Jun 2015 11:16:56 +0200
Subject: [PATCH] Update revisions.txt

---
 build/shared/revisions.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
index 99df6928f..9d9ea7446 100644
--- a/build/shared/revisions.txt
+++ b/build/shared/revisions.txt
@@ -1,4 +1,4 @@
-ARDUINO 1.6.5
+ARDUINO 1.6.5 - 2015.06.15
 
 [ide]
 * File, Sketch and Tools menu items are properly handled when switching between different windows