forwarded 415292 https://gitlab.freedesktop.org/mesa/mesa/-/issues/49
thanks

Il giorno lun 2 gen 2023 alle ore 19:03 G. Branden Robinson
<g.branden.robin...@gmail.com> ha scritto:
>
> At 2023-01-02T18:54:02+0100, Fabio Pedretti wrote:
> > upstream bug report was closed with:
> > "This code has been rewritten since and almost certainly fixed,
> > closing."
>
> Jesus.  I'd never trust a claim like that without output from a formal
> verification suite to confirm it.
>
> I think we may have a brogrammer at play.

Well, this Debian bug report is over 15 years old. :)

Il giorno lun 2 gen 2023 alle ore 19:03 G. Branden Robinson
<g.branden.robin...@gmail.com> ha scritto:
>
> At 2023-01-02T18:54:02+0100, Fabio Pedretti wrote:
> > upstream bug report was closed with:
> > "This code has been rewritten since and almost certainly fixed,
> > closing."
>
> Jesus.  I'd never trust a claim like that without output from a formal
> verification suite to confirm it.
>
> I think we may have a brogrammer at play.
>
> Regards,
> Branden

Reply via email to