(make_report_exception_info): Deleted.
(class report_exception_handler): Deleted.
(do_report_exception_handler, make_report_exception_handler):
Deleted.

Rev: src/exception.c:1.18.2.5