From 41f30a0791c3c6c80c388859974ae39a2411a979 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Thu, 6 Dec 2018 15:09:38 +0100
Subject: [PATCH] [Linux] Add 1.8.8 to appdata.xml

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

diff --git a/build/linux/dist/appdata.xml b/build/linux/dist/appdata.xml
index 0c355fd56..6be28e7bf 100644
--- a/build/linux/dist/appdata.xml
+++ b/build/linux/dist/appdata.xml
@@ -36,6 +36,7 @@
   <content_rating type="oars-1.1" />
 
   <releases>
+    <release date="2018-12-06" version="1.8.8"/>
     <release date="2018-09-11" version="1.8.7"/>
     <release date="2018-08-23" version="1.8.6"/>
     <release date="2017-10-02" version="1.8.5"/>