Effectively undoing #2999, to see what platforms are affected.#4284

rwgk wants to merge 1 commit intopybind:masterpybind/pybind11:masterfrom

rwgk:master_no_export_exceptionrwgk/pybind11:master_no_export_exceptionCopy head branch name to clipboard