From 1ed2b895e171233038415929871aa71fb5a1cd17 Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Thu, 10 Sep 2009 18:24:15 +0000
Subject: [PATCH] patched (MAX_INT was undefined)

-- 
GitLab