Change condition for is_terminated in Zip#2895
Open
haroldbruintjes wants to merge 1 commit intorust-lang:masterfrom
Open
Change condition for is_terminated in Zip#2895haroldbruintjes wants to merge 1 commit intorust-lang:masterfrom
haroldbruintjes wants to merge 1 commit intorust-lang:masterfrom
