The joint strikes come shortly after the US and Nigeria announced killing a high-profile IS leader. Meanwhile, residents reported a gunmen attack which killed at least 10 in the northwestern Katsina State.