]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 1919a18cfb91f1c0aa4da60d961dc387c004ccf7 (Ticket1087)
authorjohn <devnull@localhost>
Tue, 15 Nov 2011 11:56:44 +0000 (12:56 +0100)
committerjohn <devnull@localhost>
Tue, 15 Nov 2011 11:56:44 +0000 (12:56 +0100)

Trivial merge