From c4d471fe8086f0ad1bf8c91e2619c4f60aad5535 Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimo@endlessm.com>
Date: Mon, 30 Jul 2018 08:55:55 -0700
Subject: [PATCH] appdata: add releases tag

---
 build/linux/dist/appdata.xml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/build/linux/dist/appdata.xml b/build/linux/dist/appdata.xml
index 25ea40965..858021f3b 100644
--- a/build/linux/dist/appdata.xml
+++ b/build/linux/dist/appdata.xml
@@ -33,6 +33,14 @@
     </screenshot>
   </screenshots>
 
+  <releases>
+    <release date="2017-10-02" version="1.8.5"/>
+    <release date="2017-08-21" version="1.8.4"/>
+    <release date="2017-06-05" version="1.8.3"/>
+    <release date="2017-03-22" version="1.8.2"/>
+    <release date="2017-01-09" version="1.8.1"/>
+  </releases>
+
   <url type="homepage">http://www.arduino.cc/</url>
   <url type="help">https://www.arduino.cc/en/Guide/HomePage</url>
   <url type="bugtracker">https://github.com/arduino/Arduino/issues</url>