[automerger skipped] DO NOT MERGE - Merge Android 13 am: 117b4f08c5 -s ours

am skip reason: Merged-In I2b3f7e565684cc3ab14ee15fa28f763752c8ae36 with SHA-1 1c57725fda is already in history

Original change: https://android-review.googlesource.com/c/platform/external/lua/+/2186743

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