diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-10-13 00:02:24 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-13 00:02:24 +0000 |
commit | 4d4bfefe7d18afc1c3f3c02d3bbdb78473ac110f (patch) | |
tree | 947e8ea7bde74d0c8172f72d8798ec5e7cf932cb /src/unistd.rs | |
parent | b06b216f6e58e6e69d901b8f9fb836c43cd27323 (diff) | |
parent | 353527e8dffdb791991aa8a6225daa095aba7698 (diff) | |
download | nix-4d4bfefe7d18afc1c3f3c02d3bbdb78473ac110f.zip |
Merge #1843
1843: Fix typo: remove unnecessary verb from doc comment of `dup` r=rtzoeller a=magurotuna
Extremely minor one, but I found it by chance so why not open a PR :)
Co-authored-by: Yusuke Tanaka <yusuktan@maguro.dev>
Diffstat (limited to 'src/unistd.rs')
-rw-r--r-- | src/unistd.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/unistd.rs b/src/unistd.rs index 5be59b6c..3b0df74f 100644 --- a/src/unistd.rs +++ b/src/unistd.rs @@ -417,7 +417,7 @@ feature! { /// Create a copy of the specified file descriptor (see /// [dup(2)](https://pubs.opengroup.org/onlinepubs/9699919799/functions/dup.html)). /// -/// The new file descriptor will be have a new index but refer to the same +/// The new file descriptor will have a new index but refer to the same /// resource as the old file descriptor and the old and new file descriptors may /// be used interchangeably. The new and old file descriptor share the same /// underlying resource, offset, and file status flags. The actual index used |