Merge branch 'master' into symcheck2
authorHolger Lubitz <hal@duncan.ol.sub.de>
Fri, 27 Jul 2007 19:40:38 +0000 (21:40 +0200)
committerHolger Lubitz <hal@duncan.ol.sub.de>
Fri, 27 Jul 2007 19:40:38 +0000 (21:40 +0200)

Trivial merge