Merge tag 'v0.1.3' into HEAD am: d26f2f6308 am: 9142681aaf

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

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