From: mahi <devnull@localhost>
Date: Tue, 11 Sep 2012 19:56:17 +0000 (+0200)
Subject: Merge with 88ca177adfa9c286cb1f95a85e54ea11a9fec4f4
X-Git-Url: http://rtime.felk.cvut.cz/gitweb/arc.git/commitdiff_plain/c426610dd1e53d489907fce457459c9fa83e5850

Merge with 88ca177adfa9c286cb1f95a85e54ea11a9fec4f4
---

c426610dd1e53d489907fce457459c9fa83e5850