From bb9db0a3864cdc95778b8c80d8399db25b659384 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Thu, 2 Aug 2012 15:22:42 +0000
Subject: [PATCH] Snapshot release compatible with the 2.2 Dune core modules

[[Imported from SVN: r378]]
-- 
GitLab