Don't panic: Senate appropriators cut IT modernization fund for 2019