Completed
Pull Request — master (#1470)
by Abdeali
01:38
created

Changes

1 added class/operation
Arrow A coalib.collecting._get_kind() added
C B coalib.misc.decorator() improved
A B coalib.collecting.collect_bears() got worse
8.79
▶   ± 0
Head
AbdealiJK  
Merge b9ad155058bd6bbfecccd8467778359b08ed98aa into 2e64ea206e87a09c8f1e7b19b8a28c33f414e006
4 more commits
Base
AbdealiJK  
coalib: Use non-zero exitcode even if patches work