[php-deepend-Mockery/f16] (3 commits) ...Merge branch 'master' into f16

[Christof Damian]

Summary of changes:

  2f0918e... - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass (*)
  e6c3693... upstream 0.7.2 (*)
  381c4a3... Merge branch 'master' into f16

(*) This commit already existed in another branch; no separate mail sent