From: Andrea Zagli <azagli@libero.it>
Date: Sun, 21 May 2017 08:01:49 +0000 (+0200)
Subject: Merge branch 'develop' into debian/sid
X-Git-Url: https://saetta.ns0.it/gitweb?a=commitdiff_plain;h=143d57ea0a32691e33302011eca067f2b7e2e545;p=libgdaex

Merge branch 'develop' into debian/sid
---

143d57ea0a32691e33302011eca067f2b7e2e545