Closed matthiasdiener closed 1 month ago
Could you use error names rather than numbers?
Done in 013150a (but looks a bit clumsy).
Pushed some minor tweaks, merging.
Thanks!
Could you use error names rather than numbers?