Merge mainline-prod into master

$ git merge -s ours origin/mainline-prod

There is only one commit not from upstream
099c3b07661efb98cdcdb597bc9f09e2611d014b

...but it is a cherry-pick from master.

Bug: 168176832
Test: presubmit
Change-Id: If8d7cb4fb57d09096205c2c65930f00b5390f6dc
tree: ffb9d1b3619ac7db5997d02fec7904d56351397e
  1. tests/