Hi!

I see that our Mesa 19.3.4 is out-of-date.  20.0.0 was released last February and
20.0.7 was released on May 14th:

https://mesa3d.org/

I'm wondering why a recent Mesa wasn't including in the last core-update
merge.  Any specific reason?

Cheers!

-- 
Pierre Neidhardt
https://ambrevar.xyz/