dumpstate: change page_pinner output file name am: b584dfcbac
am: 740cea990b
am: aa54a0cda9
am: f57b96a295
Original change: https://googleplex-android-review.googlesource.com/c/device/google/gs101/+/17992446 Change-Id: I2a25e8aed42bfc4537d506194c9a2fbd9b4d6688 Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
This commit is contained in:
commit
003a990908