Merge tag 'v0.1.12' into git-sync am: 18b7958e6b

Original change: https://android-review.googlesource.com/c/platform/external/rust/pica/+/3126174

Change-Id: Idd6e0129ca95e0f85fb1a44c678dfc1cbbde92be
Signed-off-by: Automerger Merge Worker <[email protected]>