am 77260323: am 20dfbb0f: am fa66b4e1: Merge "Remove long-obsolete file."

* commit '77260323e2e99a996351a98a44ef56db5f1e2767':
  Remove long-obsolete file.