From 4b179c99c7c27f8e248fea1902553ae4d7b81dac Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Thu, 22 Jul 2010 09:56:20 +0000
Subject: [PATCH] the 'constant robin' test

-- 
GitLab