Summary of changes: 95682a5... Initialize branch F-12 for mediawiki-openid (*) fb45d52... Fix typo that causes a failure to update the common directo (*) ca5639d... dist-git conversion (*) cd15282... Merging identical branches. (*) (*) This commit already existed in another branch; no separate mail sent