-
Pekka Pessi authored
This seems to fix the memory leak within 1.12.7. darcs-hash:20071127002305-65a35-43967d305a1403bc0918195f34222143bce915e9.gz
b825fe97
This seems to fix the memory leak within 1.12.7. darcs-hash:20071127002305-65a35-43967d305a1403bc0918195f34222143bce915e9.gz