Holiday declared on 31 July in one district of Punjab Holiday declared on 31 July in one district of Punjab