]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with e02f2c11d3e49c7b67758044515a0b3b9fae74d5
authormahi <devnull@localhost>
Tue, 24 Jan 2012 07:33:02 +0000 (08:33 +0100)
committermahi <devnull@localhost>
Tue, 24 Jan 2012 07:33:02 +0000 (08:33 +0100)

Trivial merge