Wireshark-dev: Re: [Wireshark-dev] New Coverity issues from new scanner/parser
From: Guy Harris <guy@xxxxxxxxxxxx>
Date: Fri, 8 Apr 2016 10:32:34 -0700
On Apr 8, 2016, at 1:28 AM, Jaap Keuter <jaap.keuter@xxxxxxxxx> wrote:

> While this work is fresh, could this be addressed?

That would presumably be done by arranging that the version of Flex generating those files have this bug:

	https://sourceforge.net/p/flex/bugs/82/

fixed.