So what happened to that law suit filed by Sanders' campaign?