Merge branch 'WiFi101-Updater-0.8.1' of git://github.com/sandeepmistry/Arduino

Author: cmaglie

build/build.xml

@@ -208,8 +208,8 @@
 
     <!-- Add WiFi101 updater tool -->
     <antcall target="unzip">
-      <param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.8.0.zip" />
-      <param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.8.0/WiFi101-Updater-ArduinoIDE-Plugin-0.8.0.zip" />
+      <param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.8.1.zip" />
+      <param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.8.1/WiFi101-Updater-ArduinoIDE-Plugin-0.8.1.zip" />
       <param name="final_folder" value="${target.path}/tools/WiFi101" />
       <param name="dest_folder" value="${target.path}/tools/" />
     </antcall>

build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.8.0.zip.sha

@@ -0,0 +1 @@
+13681c745d18e8156594c21d1624063351605b03