[docs] [issue10145] float.is_integer is undocumented

[Mark Dickinson]

Mark Dickinson <dickinsm at gmail.com> added the comment:

Fixed in r86293, r86394, r86295.

----------
resolution:  -> fixed
stage: needs patch -> committed/rejected
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue10145>
_______________________________________