On Mon, 2016-09-19 at 16:10 +0300, Patrik Flykt wrote:
On Sat, 2016-09-17 at 13:05 +0200, Peter Meerwald-Stadler wrote:
> CID 1352468
Looks like Coverity, but some reference to the scan could be made
Ok, I picked up the CIDs and as there are no really useful links, let's
keep the plain 'CID XXXX' as proposed.