We were in front of them. They didn't declare, but it sounded like ATC declared for them. They made it sound like an air/ground switch failure...no TRs, no spoilers, etc. When we were clearing customs, they were just parking at the gate, so guessing everything turned out ok.