diff options
author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2021-09-16 00:19:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-16 00:19:35 +0200 |
commit | e156b0cc193fdcca4ef41a91d9ba03efdc0a4e98 (patch) | |
tree | ca863996b89745c91d9f24c8173e54f5ca32a112 /platform | |
parent | f4b088c2d7e64fcc29ed1dbc22dd426f32b933c3 (diff) | |
parent | 570d65cd98ac7bbae9958342671e341cff73a8a0 (diff) |
Merge pull request #49041 from madmiraal/fix-docs-4085
Clarify that eof_reached() cannot be used to check if more data is available
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions