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


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