am 767d0894: Delete dead code.

* commit '767d08948790527e9df951a752703938ff517d30':
  Delete dead code.