Fix the previous revision.

This commit is contained in:
Markus Armbruster 2007-07-25 19:35:09 +00:00
parent 043015e829
commit f691a07814