DO NOT MERGE

Merge pie-platform-release (PPRL.181205.001, history only) into master

Bug: 120502534
Change-Id: I6d69086af96bf3d2527ac1aa9a3179151771c55c
tree: 6ecfc0bfde75c1e7a4ca4e4867060e4c3ffe86ce
  1. bin/
  2. include/
  3. lib/
  4. share/
  5. .gitignore
  6. LICENSE
  7. NOTICE
  8. OWNERS