OSDN Git Service

Merge "ART: Remember whether the cache was pruned" into nyc-dev
authorAndreas Gampe <agampe@google.com>
Mon, 14 Mar 2016 21:03:47 +0000 (21:03 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Mon, 14 Mar 2016 21:03:48 +0000 (21:03 +0000)

Trivial merge