Correct. That was an indefinite stay pending final ruling.
Cool, so this ruling means that Texas can arrest illegals then!