Oh these are good points
On Mon, May 22, 2017 at 4:25 AM Stefan Schmidt
wrote:
> Hello.
>
> The patch never made it to the git commit list (I guess it was pushed
> int a branch before and merge into master). Re-creating it here to point
> to some problems Coverity found.
>
>
> commit 0b2e15db0f6
Hello.
The patch never made it to the git commit list (I guess it was pushed
int a branch before and merge into master). Re-creating it here to point
to some problems Coverity found.
commit 0b2e15db0f63735b4ba56b3876779aaa4119fd46
Author: Mike Blumenkrantz
Date: Wed May 17 16:02:53 2017 -04