diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2023-01-23 11:28:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-23 11:28:31 +0100 |
| commit | 37c533ed2730b26207434ffbc972cc4555820037 (patch) | |
| tree | b3c277cb5e2635194535b91fb4dfc2c44f2442af | |
| parent | 153ee460c59c67910476f7b1eadcabcd47206f2f (diff) | |
rl-next.md: Minor improvement
| -rw-r--r-- | doc/manual/src/release-notes/rl-next.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual/src/release-notes/rl-next.md b/doc/manual/src/release-notes/rl-next.md index 56507d731..8a79703ab 100644 --- a/doc/manual/src/release-notes/rl-next.md +++ b/doc/manual/src/release-notes/rl-next.md @@ -3,8 +3,8 @@ * A new function `builtins.readFileType` is available. It is similar to `builtins.readDir` but acts on a single file or directory. -* The `builtins.readDir` function has been optimized when encountering unknown +* The `builtins.readDir` function has been optimized when encountering not-yet-known file types from POSIX's `readdir`. In such cases the type of each file is/was discovered by making multiple syscalls. This change makes these operations lazy such that these lookups will only be performed if the attribute is used. - This optimization effects a minority of filesystems and operating systems. + This optimization affects a minority of filesystems and operating systems. |