Police Magistrates' Department exempted from operation of Public Holidays Ordinance, 1875, on 3rd August