UN troops step up Mali patrols after massacre

Peacekeepers’ activity boosted following attack last month in which gunmen killed more than 130 people and injured dozens of others.