Catch stderr from 'kat -v ' and 'kat -h' commands to ensure we catch dynamic library errors (!4) · Merge requests · finesse / finesse

Closed JanJust Keijser requested to merge janjust into master Oct 15, 2020

Catch stderr from 'kat -v ' and 'kat -h' commands to ensure we catch dynamic library errors

Catch stderr from 'kat -v ' and 'kat -h' commands to ensure we catch dynamic library errors