clarify the position argument of fs.read
What happen to the file position after a read using a position null or integer was not clear and you can assume that the pointer to the file position is updated even if position is an integer. close #8397 (closed)
Checklist
-
make -j4 test
(UNIX), orvcbuild test
(Windows) passes -
tests and/or benchmarks are included -
documentation is changed or added -
commit message follows commit guidelines