* Merged with 269162803388.
authorChristian Thalinger <twisti@complang.tuwien.ac.at>
Wed, 5 Sep 2007 22:06:41 +0000 (00:06 +0200)
committerChristian Thalinger <twisti@complang.tuwien.ac.at>
Wed, 5 Sep 2007 22:06:41 +0000 (00:06 +0200)

Trivial merge