dumpstate: change page_pinner output file name am: 520ebd6475
am: 2244e99775
am: fea4ed0747
Original change: https://googleplex-android-review.googlesource.com/c/device/google/gs201/+/18080945 Change-Id: Ice8ce6b59c08a14377a1828568ccb8652d153090 Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
This commit is contained in:
commit
0bf2b34062