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: If1727b1ac733890bf80bf0b629766050fc07e11f
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>