[automerger skipped] Merge "DO NOT MERGE - Merge pie-platform-release (PPRL.181205.001) into master" am: 6ab5ca78 -s ours am: 56585008 -s ours am: 547a7f44 -s ours Change-Id: I31a32ee2bb9f5acbb7ea39a07ef5f05ca12068d5
mentioned in commit 2c5584fc