* Merged with tip.
authorChristian Thalinger <twisti@complang.tuwien.ac.at>
Mon, 18 Aug 2008 15:13:26 +0000 (17:13 +0200)
committerChristian Thalinger <twisti@complang.tuwien.ac.at>
Mon, 18 Aug 2008 15:13:26 +0000 (17:13 +0200)

Trivial merge