From bd2f4acba7ecd1fb83137902316a97f3b091f26d Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Mon, 10 Apr 2017 14:43:55 +0200
Subject: [PATCH] update revision log

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

diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
index 5d314dbf3..42da7057f 100644
--- a/build/shared/revisions.txt
+++ b/build/shared/revisions.txt
@@ -1,5 +1,8 @@
 ARDUINO 1.8.3
 
+[ide]
+* added option in preferences.txt for: custom title, comment/uncomment shortcut, always show file extensions. Thanks @MichaelSy
+
 ARDUINO 1.8.2 2017.03.22
 
 [ide]