Tatsuo Ishii <is...@sraoss.co.jp> writes: > I would prefer to mark it done then remove the item just for leaving > an editing history.
Sure, although leaving a commit message with a pointer to the fix in git
would document this better.
regards, tom lane
