commit 7fa8df2d8638a70d85561c212f2d9286ceaec8a4 Merge: 91587cc e624983 Author: Milos Jakubicek <xjakub at fi.muni.cz> Date: Wed Jan 19 11:41:16 2011 +0100 Merge remote branch 'origin/f13/master' ---