-
Pekka Pessi authored
Ignore-this: bdace77be7b43629b591f5adf7315341 Coverity issue. darcs-hash:20090512165232-db55f-fed821dabf87dcc409e8f583f5809ef5fc43d82e.gz
8a231a15
Ignore-this: bdace77be7b43629b591f5adf7315341 Coverity issue. darcs-hash:20090512165232-db55f-fed821dabf87dcc409e8f583f5809ef5fc43d82e.gz