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

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

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