From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 8 Jan 2014 13:38:02 +0000 (+0100)
Subject: Merge branch 'maint'
X-Git-Tag: isl-0.13~95
X-Git-Url: https://repo.or.cz/w/isl.git/commitdiff_plain/da6bcea1bbc8447818a32f34e4807dd26f27f0a4

Merge branch 'maint'
---

da6bcea1bbc8447818a32f34e4807dd26f27f0a4