tree dac279d72f75ac286171ac1cb507a84051a0f6c0
parent 6f66684e5c18c71b2b21991f6492cb7885d78e68
author nsandonato <nsandonato> 1268169148 +0000
committer nsandonato <nsandonato> 1268169148 +0000

[305239] Folding strategy may continue processing after editor shutdown