Merge "add3prf.py: Update value for crates.io identifier" into main am: 8d37d26139

Original change: https://android-review.googlesource.com/c/platform/development/+/2925531

Change-Id: I20346d4ad7456eedc04f7cb9562906b28282e182
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>