Internal change for crosstools#4112

copybara-service[bot] wants to merge 1 commit intomaingoogle/xls:mainfrom

test_825972920google/xls:test_825972920Copy head branch name to clipboard