PR #22970 deprecate `issubtype` in favor of `<:`

deprecate `issubtype` in favor of `<:` #22970

JeffBezanson merged 1 commit into master from jb/issubtype

JeffBezanson added deprecation

tkelman commented on 2017-07-26

Sacha0 commented on 2017-07-26

JeffBezanson force pushed from e83b7774 to 678fb1b8 9 years ago

tkelman commented on 2017-07-28

JeffBezanson force pushed from 03d7b972 to a973e79f 9 years ago

JeffBezanson force pushed from a973e79f to c727fa9f 9 years ago

deprecate `issubtype` in favor of `<:`

8df2070e

JeffBezanson force pushed from c727fa9f to 8df2070e 9 years ago

JeffBezanson merged 0d7bbccf into master 9 years ago

JeffBezanson deleted the jb/issubtype branch 9 years ago

Reviewers

tkelman

Sacha0

Assignees

No one assigned

Labels

deprecation

Milestone

No milestone