Summary of changes: c97145f... patches merged upstream (*) a5fd230... dist-git conversion (*) fed9ecb... renamed to libmcs (*) b3f17ad... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent