[php-pdepend-PHP-Depend/f13/master] (9 commits) ...Merge branch 'master' into f13

[Christof Damian]

Summary of changes:

  5b25753... upstream 0.9.10 (*)
  dcc156e... upstream 0.9.11 (*)
  0fe3a33... upstream 0.9.12 (*)
  8b7e737... upstream 0.9.13: critical bugfixes (*)
  5fe8359... upstream 0.9.14 (*)
  101c80d... upstream 0.9.16 (*)
  ae21884... dist-git conversion (*)
  a5849eb... upstream 0.9.17 (*)
  c046f72... Merge branch 'master' into f13

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