Separate dates for celebration of Martin Luther King, Jr. Day and Inauguration Day

This section appears in one version only, so there is nothing to compare yet.

Section 6103 of title 5, United States Code, is amended— (1) by redesignating subsection (d) as subsection (e); and (2) by inserting after subsection (c) the following: (d) Notwithstanding subsection (a), if by operation of subsection (c) Inauguration Day will be observed on the legal public holiday for the Birthday of Martin Luther King, Jr., then the date for the Birthday of Martin Luther King, Jr. under such subsection (a) shall be the Tuesday following the third Monday in January..