* Merged with tip.
authorChristian Thalinger <twisti@complang.tuwien.ac.at>
Fri, 22 Aug 2008 09:42:34 +0000 (11:42 +0200)
committerChristian Thalinger <twisti@complang.tuwien.ac.at>
Fri, 22 Aug 2008 09:42:34 +0000 (11:42 +0200)

Trivial merge