tree a27753b892e297b94f6d2888959a61a97d6c9e28
parent 9975c7126de5414263d52597a91a431c2dcb379f
parent b8cc1754535f27fff1f1cb8324a543797eaacbcd
author Andreas Gampe <agampe@google.com> 1493308173 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1493308173 +0000

Merge "ART: Shut down runtime in patchoat"