Merge branch 'stable-3.13'

* stable-3.13:

Change-Id: I6d695149a9d1120bcfbc8755cbdc89f6c19f6620
tree: a074f7a6489c3ad1ff54df8f0b5c028e538978aa
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE