tree ce075b131513e65de9354001a37ba90f3a2b6787
parent e848c29bb35d91f23bb6f52712aa7f2dff342ea0
parent a1425a1c9c98ae3fc772834933a5d55566fb5699
author Andreas Gampe <agampe@google.com> 1458176634 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1458176634 +0000

Merge "ART: Remember whether the cache was pruned"