On Tue, 2017-03-07 at 10:02 +0100, Peter Meerwald-Stadler wrote: > > Ack, go ahead and push this. Do we need to modify our Coverity project > > settings? > > pushed, no need to modify server side Coverity settings You seemed to push the whole patch set without responding to the issues that Hajime pointed out. Was this intentional? -- Tanu https://www.patreon.com/tanuk
