* Merged with 3683e6f66d90.
authorChristian Thalinger <twisti@complang.tuwien.ac.at>
Thu, 14 Feb 2008 14:16:07 +0000 (15:16 +0100)
committerChristian Thalinger <twisti@complang.tuwien.ac.at>
Thu, 14 Feb 2008 14:16:07 +0000 (15:16 +0100)

Trivial merge