Mesa 20.1.3 is released

July 8, 2020

Mesa 20.1.3 is released. This is a bug fix release.