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. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
