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


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