tree db43dbcf83f4a881870e90a8ca44a25514998b32
parent 857aea034603bdcbfada35cfcc2eabba8d88f2f9
parent 25f9b234c3b72eeccfc7fb64c3e5e419821c3c10
author Treehugger Robot <treehugger-gerrit@google.com> 1562012115 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1562012115 +0000

Merge "Change mapping of .ota extension"