Skip to content

Produce more meaningful error message when KPathSea has failed to locate a file#472

Merged
Witiko merged 4 commits intomainfrom feat/better-kpathsea-errorsJul 29, 2024