On Mon, 5 Mar 2012 11:23:43 +0100, Justus Winter <4winter@informatik.uni-hamburg.de> wrote: > Signed-off-by: Justus Winter <4winter@informatik.uni-hamburg.de> > --- > configure | 6 +++--- > 1 files changed, 3 insertions(+), 3 deletions(-) pushed both. d