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


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