-
Pekka Pessi authored
Ignore-this: 7b09dd7d26a10dabb645156563c0cd6c Coverity issue. darcs-hash:20090513183321-db55f-08029d09e87b44eab0607cf5f0b80d0cf2c5995f.gz
605eb171
Ignore-this: 7b09dd7d26a10dabb645156563c0cd6c Coverity issue. darcs-hash:20090513183321-db55f-08029d09e87b44eab0607cf5f0b80d0cf2c5995f.gz