Mark ab/6881855 as merged am: ea3d4e9e26 am: 6935787531

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

Change-Id: I15c19126b91356165e70f3e2182ee2cac81ce763