US: Libya approved raid that netted al-Libi, 2nd one for Benghazi attack leaders

What happened to the second one?