Pub. L. 85-533. An Act to provide for the designation of holidays for the officers and employees of the government of the District of Columbia for pay and leave purposes, and for other purposes.