Mesa 19.1.3 is released

July 23, 2019

Mesa 19.1.3 is released. This is a bug-fix release.