PR #35275 fix a bug in circular type detection

fix a bug in circular type detection #35275

JeffBezanson merged 1 commit into master from jb/circulartypefix

JeffBezanson added bugfix

JeffBezanson force pushed from 7b2c2bdf to 7d16fe95 5 years ago

fix a bug in circular type detection

edcabdfc

JeffBezanson force pushed from 7d16fe95 to edcabdfc 5 years ago

JeffBezanson merged 30485179 into master 5 years ago

JeffBezanson deleted the jb/circulartypefix branch 5 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

bugfix

Milestone

No milestone