Do you have more info on that? Is it only for hourly employees? In the 2013 shutdown, the people I know who actually worked lost out. The "nonessential" personnel got backpay/reimbursed vacation hours, and the people that worked just got paid normally.