[issue20806] os.times document points to wrong section of non-Linux manual

[miss-islington]

Change by miss-islington <mariatta.wijaya+miss-islington at gmail.com>:


----------
pull_requests: +15377
pull_request: https://github.com/python/cpython/pull/15723

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue20806>
_______________________________________