Addition of information that on 10 May, the Government of Pakistan stated that India and Pakistan have agreed to stop military action ('Warnings and insurance' page).