Completed
Pull Request — master (#1467)
by Niraj
01:38
created

Changes

8.78
▶   ± 0
Head
Niraj  
Merge 9c1998fb7749054379d16dc2c5aa12534aea6376 into 2e64ea206e87a09c8f1e7b19b8a28c33f414e006
2 more commits
Base
AbdealiJK  
coalib: Use non-zero exitcode even if patches work