https://bugs.freedesktop.org/show_bug.cgi?id=111414
Edmondo Tommasina edmondo.tommasina@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Status|NEW |RESOLVED
--- Comment #8 from Edmondo Tommasina edmondo.tommasina@gmail.com --- Thanks Dieter for clarifying.
Patch got merged in mesa: https://gitlab.freedesktop.org/mesa/mesa/commit/f95a28d3
I'm closing this issue. Thanks for the fix.