]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 37f990d04dd0cdc480f011b79a15b6b4c09bdedf (Ticket1375).
authorjohn <devnull@localhost>
Fri, 11 May 2012 09:24:56 +0000 (11:24 +0200)
committerjohn <devnull@localhost>
Fri, 11 May 2012 09:24:56 +0000 (11:24 +0200)

Trivial merge