Change-Id: Ibb9d5f425cb369f5286734cd27cbbd33d65fef31
Reviewed-on: https://code-review.googlesource.com/c/re2/+/58570


Reviewed-by: Paul Wankadia <junyer@google.com>