On 2015-06-26 09:44:14 -0400, Robert Haas wrote:
> I don't mind committing patches for this kind of thing if it makes the
> Coverity reports easier to deal with, which I gather that it does.
It takes about three seconds to mark it as ignored which will hide it
going forward.