dumpstate: change page_pinner output file name am: 3846f25d8d
am: 1213959de3
Original change: https://googleplex-android-review.googlesource.com/c/device/google/gs201/+/17992345 Change-Id: I828efebdffa817734b8193689be8b1f9863e01c5 Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
This commit is contained in:
commit
a9873176c4