tree ab541943574bcc1504f036bf681d322e1c8a2bf3
parent d7b6a384a5914761f9819c28bdd8f998a6d07ad1
parent 38df280a6761acd4674d171a3d7a5e807b907c91
author TreeHugger Robot <treehugger-gerrit@google.com> 1519368691 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1519368691 +0000

Merge changes from topic "update_mapping"

* changes:
  Rework how pinning works
  Follow prebuilt/API update