From: Andrea Zagli Date: Sat, 11 Mar 2017 09:29:33 +0000 (+0100) Subject: Merge branch 'develop' into debian/sid X-Git-Url: https://saetta.ns0.it/gitweb?a=commitdiff_plain;h=a15e0435c17adcf86907338a0b3ba7f92b154624;p=libgdaex Merge branch 'develop' into debian/sid --- a15e0435c17adcf86907338a0b3ba7f92b154624