fix #26038, make `isequal` consistent with `hash` for `Ptr`#26858

Merged

JeffBezanson merged 1 commit intomasterfrom jb/isequalptr

Apr 20, 2018

+20-2

Commits on Apr 19, 2018

fix #26038 , make isequal consistent with hash for Ptr
JeffBezanson
committed