Merge -> trunk
authorStefan Ring <stefan@complang.tuwien.ac.at>
Tue, 11 Mar 2008 14:28:53 +0000 (15:28 +0100)
committerStefan Ring <stefan@complang.tuwien.ac.at>
Tue, 11 Mar 2008 14:28:53 +0000 (15:28 +0100)

Trivial merge