On Mon, 2017-02-20 at 10:06 +0100, Stephan Bergmann wrote: > When I now search for 1401344 (or similar 1401342) in the Coverity > web UI, I get "No Issues found". You probably filtered them away in > some way, Caloán?
Presumably they are caught by the "systemheaders" filter of /usr/include/* but they are presumably the same as e.g. 1401343 > But why do they completely disappear from the database? I dunno, I don't have any particular extra insight into coverity's website internals _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/libreoffice
