From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 19 Feb 2013 17:25:31 +0000 (+0100)
Subject: Merge branch 'maint'
X-Git-Tag: isl-0.12~205
X-Git-Url: https://repo.or.cz/w/isl.git/commitdiff_plain/1a9c7afa1e0ca242fb348575afbf8e493deffbfd

Merge branch 'maint'
---

1a9c7afa1e0ca242fb348575afbf8e493deffbfd