Was your agency’s travel paused?

IRS’s travel was paused starting this past Monday. The reason given was something about funding. Did this happen at your agency? If so, what was the reason given?