From 65d220d7f4c3852db6e869f2f24cd467cd030c9a Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 19 Nov 2015 12:09:52 +0100
Subject: [PATCH] Update revisions.txt

---
 build/shared/revisions.txt | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
index 144dfa849..6f6730242 100644
--- a/build/shared/revisions.txt
+++ b/build/shared/revisions.txt
@@ -1,9 +1,10 @@
 ARDUINO 1.6.7
 
 [ide]
-* new arduino-builder: faster, better prototype generation and library discovery logic, and more. See https://github.com/arduino/arduino-builder/compare/1.0.5...master
+* New arduino-builder: faster, better prototype generation and library discovery logic, and more. See https://github.com/arduino/arduino-builder/compare/1.0.5...master
 * Serial plotter now allows to plot multiple values at once. Thanks @henningpohl
-* new translations
+* New translations
+* Added support to file:// protocol for boards manager URLs
 
 [libraries]
 * SPI: Added SPI.transfer16(...) function to SAM core.