Rust is a proper name: rust → Rust

This commit is contained in:
Ralf Jung
2024-03-06 20:21:00 +01:00
parent aa029ce4d8
commit 1a2bc1102d
12 changed files with 22 additions and 22 deletions

View File

@@ -179,7 +179,7 @@ impl Sub<Instant> for Instant {
///
/// # Panics
///
/// Previous rust versions panicked when `other` was later than `self`. Currently this
/// Previous Rust versions panicked when `other` was later than `self`. Currently this
/// method saturates. Future versions may reintroduce the panic in some circumstances.
/// See [Monotonicity].
///