extern crate core as __rust_core#757

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

test_889234896google/crubit:test_889234896Copy head branch name to clipboard