* Merged with tip.
authorChristian Thalinger <twisti@complang.tuwien.ac.at>
Thu, 12 Jun 2008 13:32:42 +0000 (15:32 +0200)
committerChristian Thalinger <twisti@complang.tuwien.ac.at>
Thu, 12 Jun 2008 13:32:42 +0000 (15:32 +0200)

Trivial merge