and fix bogus Coverity warning about uncaught exception in format_error_code (via write_int).
89 KiB
89 KiB
and fix bogus Coverity warning about uncaught exception in format_error_code (via write_int).