Police Magistrates exempted from the operation of the Holidays Ordinance, 1912, on Monday, 9th October