]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 0741e19669343cd4c037eac53bc2d3c2a3aae079 (Ticket1375)
authorjohn <devnull@localhost>
Fri, 11 May 2012 11:03:49 +0000 (13:03 +0200)
committerjohn <devnull@localhost>
Fri, 11 May 2012 11:03:49 +0000 (13:03 +0200)

Trivial merge