Summary of changes: c29320d... Guarantee that Djblets builds against the correct version o (*) 5f77adb... New upstream release 0.7.12 (*) This commit already existed in another branch; no separate mail sent