Merge commit '7eef71a24c991ceb5f1522f067c2f559a356a5a4'

empty merge:
git merge -s ours 7eef71a24c991ceb5f1522f067c2f559a356a5a4

Change-Id: I4140c9bb107490edba6f0643d0d22a25d500a71c