OK. I wasn't clear to me what all this logging was supposed to do, or if it was just something someone had left in there for debugging.

I'll update as you suggest.

How do you guys prefer to get updated patches?  Should I use "git --amend" and then "push -f" to update this request?  Or generate another changelist an git push it?  Or a new pull request after "git --amend"?