about the Texas redistricting case.