dumpstate: change page_pinner output file name am: b584dfcbac am: 740cea990b am: 37b0df32a8 am: 2efa4eb52f

Original change: https://googleplex-android-review.googlesource.com/c/device/google/gs101/+/17992446

Change-Id: Ic38cd79f0e290887713f3c8fa3c2dded1868a058
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
This commit is contained in:
Minchan Kim 2022-04-29 19:12:55 +00:00 committed by Automerger Merge Worker
commit 39774eb6ad

Diff content is not available