]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with Ticket1389 (b8c4881fdf2b9afc4e37110fe72f9a560a95463a)
authorjohn <devnull@localhost>
Tue, 15 May 2012 12:17:12 +0000 (14:17 +0200)
committerjohn <devnull@localhost>
Tue, 15 May 2012 12:17:12 +0000 (14:17 +0200)

Trivial merge