From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 1 May 2014 11:06:36 +0000 (+0200)
Subject: Merge branch 'maint'
X-Git-Tag: isl-0.14~133
X-Git-Url: https://repo.or.cz/w/isl.git/commitdiff_plain/ac510e17f63ed6647157f46a3c2830626efd146d

Merge branch 'maint'
---

ac510e17f63ed6647157f46a3c2830626efd146d