Merge branch 'master' of github.com:arduino/Arduino

Author: facchinm

app/src/processing/app/syntax/PdeKeywords.java

@@ -115,7 +115,7 @@ private void parseKeywordsTxt(File input) throws Exception {
           continue;
         }
 
-        String pieces[] = line.split("\\s+", 4);
+        String pieces[] = line.split("\t");
 
         String keyword = pieces[0].trim();
         if (keyword.startsWith("\\#")) {

build/shared/revisions.txt

@@ -5,7 +5,6 @@ ARDUINO 1.8.6
 * Added scroller in programmers menu.
 * Added "accelerator" in scrollable menu, press "a" key while scrolling
 * Keep "Board Manager" menu item always as first in the menu
-* keyword.txt now allows any whitespace. Thanks @bhagman
 
 [wifi101-firmware]
 * SECURITY FIX: Released fix for WPA2 KRACK vulnerability (latest WINC1500 firmware 19.5.2).