Better error report#1965

Merged

wjakob merged 5 commits into

pybind:masterfrom

HDembinski:better_error_report

Oct 23, 2019

Commits on Oct 22, 2019

Commits on Oct 23, 2019

following the example of other exceptions in cast.h
HDembinski
committed