Fix #782: Force stdin=subprocess.DEVNULL for compatibility with joblib/loki#783
Open
charlienewey wants to merge 1 commit intokkroening:masterfrom
Open
Fix #782: Force stdin=subprocess.DEVNULL for compatibility with joblib/loki#783charlienewey wants to merge 1 commit intokkroening:masterfrom
charlienewey wants to merge 1 commit intokkroening:masterfrom
