Skip to content

Fix unix_closedir_job incorrectly checking return value of job#942

Merged
raphael-proust merged 1 commit intoocsigen:masterfrom MisterDA:unix-closedir-check-jobJun 21, 2022

Commits

Commits on Jun 21, 2022