> I think that, back when we were actively maintaining the TODO list,
> the idea was that items got marked as "Done" when committed and then
> removed from the list after the fix was released. In this case, since
> the fix went out years ago, we might as well just remove the entry
> immediately.
I would prefer to mark it done then remove the item just for leaving
an editing history.
Best regards,
--
Tatsuo Ishii
SRA OSS, Inc. Japan
English: http://www.sraoss.co.jp/index_en.php
Japanese:http://www.sraoss.co.jp