From 0da3251def9f11a4ef506c97303c9e83dca6c00a Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Fri, 20 Nov 2015 17:31:51 +0100
Subject: [PATCH] Update revisions.txt

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

diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
index 0a59f5f86..29daeb5fd 100644
--- a/build/shared/revisions.txt
+++ b/build/shared/revisions.txt
@@ -6,6 +6,7 @@ ARDUINO 1.6.7
 * New translations
 * Added support to file:// protocol for boards manager URLs
 * Portable sketchbook folder can now be any arbitrary location
+* Fixed a bug that caused Boards Manager to install the same tool twice or more, thus wasting disk space, if other cores where using tools delivered by arduino
 
 [libraries]
 * SPI: Added SPI.transfer16(...) function to SAM core.