* Merged with tip.
authorChristian Thalinger <twisti@complang.tuwien.ac.at>
Thu, 24 Jul 2008 08:10:44 +0000 (10:10 +0200)
committerChristian Thalinger <twisti@complang.tuwien.ac.at>
Thu, 24 Jul 2008 08:10:44 +0000 (10:10 +0200)

Trivial merge