Government officials and employees. Executive order, amendment of Executive order of Jan. 17, 1873, relating to holding of State or local offices by Federal officers and employees.