tree d99399279e4224251f689f1a2b80b764ce6835e8
parent 3ce7873fddef05ecd6c5da2d5bd40206fee3805c
author Serhiy Storchaka <storchaka@gmail.com> 1429510883 +0300
committer Serhiy Storchaka <storchaka@gmail.com> 1429510883 +0300

Issue #23842: os.major(), os.minor() and os.makedev() now support ints again.