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

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

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