Skip to content

pytypeinfo: rename is_instance to is_type_of#1278

Merged
davidhewitt merged 1 commit intoPyO3:masterfrom davidhewitt:pytypeinfo-checkNov 15, 2020

Commits

Commits on Nov 15, 2020