Executive Order 6517—Amendment of Executive Order of December 20, 1933, Excusing Federal Employees in the District of Columbia From Duty December 23 and 30, 1933
Whereas it appears that Executive Order No. 6516 dated December 20, 1933, does not include the employees in the field service of the executive departments and independent establishments of the Government, including the Government Printing Office and the Navy Yard and stations; and
Whereas it was the intention of the President that the employees in such field service should be included therein;
Now, Therefore, it is hereby ordered that the provisions of the said order shall be and are hereby extended to the employees in the said field service.
FRANKLIN D. ROOSEVELT
The White House,
December 21, 1933.
Franklin D. Roosevelt, Executive Order 6517—Amendment of Executive Order of December 20, 1933, Excusing Federal Employees in the District of Columbia From Duty December 23 and 30, 1933 Online by Gerhard Peters and John T. Woolley, The American Presidency Project https://www.presidency.ucsb.edu/node/373268