Error reporting extensions.#36

Open

ximon18 wants to merge 1 commit intomainfrom error-warning-improvements

+106-54

Commits on Nov 27, 2024

- Determine the terminal status from the actual stream an error is written to.
ximon18
committed