From acc3faca526cdd29291e503d7524efe0d00b21d7 Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Mon, 2 Nov 2009 13:09:47 +0000
Subject: [PATCH] decider added (something went wrong)

-- 
GitLab