Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Suggested by Stefano Rivera and endorsed by Evangelos Foutras in dicussion on the GitHub issue, 6 is considered to be larger than what any distribution is currently using. Fixes #243. Change-Id: I92185ccd3109123a3ed3e55693f475a74bc2a9b2 Reviewed-on: https://code-review.googlesource.com/c/re2/+/52738 Reviewed-by: Paul Wankadia <[email protected]>
- Loading branch information