wiredtiger/wiredtiger — pull request #803 by keithbostic (2013-12-11 13:08:24+00:00)
Title: Coverity + lint

@agorrod: the latest build kicked out a Coverity complaint and minor lint.

None of this is interesting for the release, take or or not, I'm just getting it into the queue.