One Senator has specifically mentioned federal employees in a proposed compromise to make Juneteenth a federal holiday.
This is a list of all paid federal holidays in 2020.
A bill that would give several additional paid leave days to federal employees has recently gained notoriety because of a debate sparked in the Senate this week.
President Trump has issued an Executive Order giving most federal employees an extra holiday on December 24, 2018. Merry Christmas!