wiredtiger/wiredtiger — pull request #1340 by keithbostic (2014-11-04 12:45:48+00:00)
Title: Custom extractors lint

@michaelcahill: some flexelint complaints, for your consideration.