Exemption of Police Magistrate's Department from operation of the Holidays Ordinance, 1875