Merge from rustc

This commit is contained in:
The Miri Cronjob Bot 2024-07-16 05:22:29 +00:00
commit d7485b8436

View file

@ -15,7 +15,7 @@ pub struct VersionInfo {
pub version: &'static str,
/// The release channel we were built for (stable/beta/nightly/dev).
///
/// `None` if not built via rustbuild.
/// `None` if not built via bootstrap.
pub release_channel: Option<&'static str>,
/// Information about the Git repository we may have been built from.
///