commit 19046e17816d7d5e460170ed65e9472b00e2f500 Merge: 4ca81c7 b99f11a Author: Milos Jakubicek <xjakub at fi.muni.cz> Date: Thu Jan 20 13:34:04 2011 +0100 Merge remote branch 'origin/f13/master' ---