Government officials and employees. Executive order, amending sec. 6 of Executive order 7845 of Mar. 21, 1938, prescribing regulations relating to annual leave of Government employees.