Tatsuo Ishii <[email protected]> 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
