I heard it was a Fifth Circuit Court ruling that overturned the district court and granted their release. I’ll see if I can find it.
“Overturned” is big.
The judge now needs to be charged with abuse of power, and sued for his actions as well.