Tomas Vondra <tomas@vondra.me> writes:
> Thanks. Pushed a fix for these issues, hopefully coverity will be happy.
Thanks.
> BTW is the coverity report accessible somewhere? I know someone
> mentioned that in the past, but I don't recall the details. Maybe we
> should have a list of all these resources, useful for committers,
> somewhere on the wiki?
Currently those reports only go to the security team. Perhaps
we should rethink that?
regards, tom lane
