github_merge: do not crash if the mergeable status is unknown
[nit.git] / tests / error_prop_name.nit
2014-04-11 Jean Privattests: add error_prop_name*