[project @ 2005-11-04 15:31:30 by simonmar]
authorsimonmar <unknown>
Fri, 4 Nov 2005 15:31:30 +0000 (15:31 +0000)
committersimonmar <unknown>
Fri, 4 Nov 2005 15:31:30 +0000 (15:31 +0000)
We shouldn't call closeCondition() on the condition in discardTask(),
we're just freeing the Task for later use.


No differences found