From b5b50caf33a037e47ea2af17be285aa210512173 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Fri, 9 Nov 2012 10:52:14 +0100
Subject: [PATCH] Updated revision.txt

---
 build/shared/revisions.txt | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
index cc32c38fa..425a2d337 100644
--- a/build/shared/revisions.txt
+++ b/build/shared/revisions.txt
@@ -1,4 +1,11 @@
 
+[ide]
+* Fixed IDE startup bug "Menu has no enabled items"
+
+ARDUINO BETA 1.5.1r2 - 2012.11.06
+
+* Fixed wrong release file for windows.
+
 ARDUINO BETA 1.5.1 - 2012.11.05
 
 * Merged changes coming from stable release of Arduino IDE 1.0.2.