am a4854d39: (-s ours) Merge "Mixed delete/delete[]."

* commit 'a4854d39ae6e03d6b9430bfdef85ecb7505e0139':
  Mixed delete/delete[].