Summary of changes: 8985413... Initialize branch F-13 for php-pear-Auth-OpenID (*) dd1182e... dist-git conversion (*) 6c71fae... Merging identical branches. (*) This commit already existed in another branch; no separate mail sent