From 25c6d7168ef6cc105c334eb541939556418780ea Mon Sep 17 00:00:00 2001
From: Alexandre Aubin <alex.aubin@mailoo.org>
Date: Tue, 27 Mar 2018 14:25:44 +0200
Subject: [PATCH] [microdecision] Work around a small bug for apps with
 different id in manifest and list.json...

(E.g. "Pelican" in list.json but "pelican" is the real id in the built list... Hence it did not fetch the previous commit correctly)
---
 list_builder.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/list_builder.py b/list_builder.py
index 8d24561..3ebce0f 100755
--- a/list_builder.py
+++ b/list_builder.py
@@ -139,6 +139,7 @@ result_dict = {}
 for app, info in apps_list.items():
     print("---")
     print("Processing '%s'..." % app)
+    app = app.lower()
 
     # Store usefull values
     app_branch = info['branch']