Government officials and employees. Revocation of Executive order 9243, Sept. 12, 1942, providing for transfer and release of Federal personnel.