Government officials and employees. Executive order, amendment of Executive order of Jan. 28, 1873, relating to holding of State, municipal, or other local office by Federal officers and employees.