Mesa 10.1.2 is released

May 5, 2014

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