Re: [PATCH 0/5] First batch of fixes for Coverity errors

[Gregor Jasny]

Hi David,

Thank you for the review.

On 22/09/14 12:11, David Drysdale wrote:
> Thanks!  The changes mostly look good to me; let's see if anyone else
> has comments

Should I send a pull request of will you merge from the mails?

Thanks,
Gregor