Rollup merge of #78099 - pierwill:patch-5, r=jonas-schievink

Add missing punctuation
This commit is contained in:
Guillaume Gomez
2020-10-19 18:20:24 +02:00
committed by GitHub

View File

@@ -1184,7 +1184,7 @@ impl Stdio {
}
/// This stream will be ignored. This is the equivalent of attaching the
/// stream to `/dev/null`
/// stream to `/dev/null`.
///
/// # Examples
///