Makes obsolete what this blog had just yesterday.

(CNN)American warplanes hit an ISIS camp Friday in Libya where foreign fighters had been engaged in special, advanced training — possibly, a U.S. official said, ahead of a terror attack in Europe or somewhere else outside the North African nation.

Source: U.S. strikes ISIS camp in Libya; 37 killed – CNN.com