]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 3bd2b84a75d8d5d7708e0818fe64cc6cee360049
authorjohn <devnull@localhost>
Wed, 19 Sep 2012 11:42:20 +0000 (13:42 +0200)
committerjohn <devnull@localhost>
Wed, 19 Sep 2012 11:42:20 +0000 (13:42 +0200)

Trivial merge