[automerger skipped] Merge changes from topic...

[automerger skipped] Merge changes from topic "installclean-symbols-mainline-prod" into mainline-prod am: 4090f7ad -s ours

am skip reason: Merged-In I316703cd0985ee555959a6dcdb39d5a702ab0332 with SHA-1 f7bcd42a is already in history

Original change: https://googleplex-android-review.googlesource.com/c/platform/build/soong/+/14387670

Change-Id: Ibec9e92c8aaa05e8407d410ff280228e2a69934b