On 23.11.2015 22:26, André Hentschel wrote:
The question is what to do on this failure, that's a point of Coverity warning.
Am 23.11.2015 um 20:30 schrieb Nikolay Sivov:
I thought we first should be able to notice it when it happens, but of course you're absolute correct. Let's see