Completed
Pull Request — master (#1470)
by Abdeali
01:28
created
8.79
▶   ± 0
Head
AbdealiJK  
Merge 54f902d32b88729bb176e987ecdb5797ad41eb39 into 2e64ea206e87a09c8f1e7b19b8a28c33f414e006
9 more commits
Base
AbdealiJK  
coalib: Use non-zero exitcode even if patches work