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


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