Merge branch 'master' into criticality
commit49fd40d94f224d915d2bd79970ecff3789acc494
authorPetr Baudis <pasky@ucw.cz>
Mon, 25 Apr 2011 10:48:21 +0000 (25 12:48 +0200)
committerPetr Baudis <pasky@ucw.cz>
Mon, 25 Apr 2011 10:48:21 +0000 (25 12:48 +0200)
tree976f9960ea929ccc81f82d0258b42d54fa0d7387
parent0e04211ede3794e28a274fee8272b12ef2b2e8a0
parentddfa56dd6a000d515269be387b9cae2e19a18d32
Merge branch 'master' into criticality

Conflicts:
uct/tree.c
uct/tree.c