Section 3 from EO 13900 states "December 24, 2019, shall be considered as falling within the scope of Executive Order 11582 of February 11, 1971, and of 5 U.S.C. 5546 and 6103(b) and other similar statutes insofar as they relate to the pay and leave of employees of the United States."
EO 11582, which the section is referencing, is the Observance of Holidays by Government Agencies EO.
This EO established Christmas Eve as a paid holiday, nothing more.
The actual EO reads a lot differently.
https://www.federalregister.gov/documents/2019/12/20/2019-27678/providing-for-the-closing-of-executive-departments-and-agencies-of-the-federal-government-on
Section 3 from EO 13900 states "December 24, 2019, shall be considered as falling within the scope of Executive Order 11582 of February 11, 1971, and of 5 U.S.C. 5546 and 6103(b) and other similar statutes insofar as they relate to the pay and leave of employees of the United States."
EO 11582, which the section is referencing, is the Observance of Holidays by Government Agencies EO.
This EO established Christmas Eve as a paid holiday, nothing more.