| commit | 4606f89f43b2991908b904576bb1b936891115bc | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Wed Jul 07 04:55:43 2021 -0700 |
| committer | Paul Wankadia <junyer@google.com> | Wed Jul 07 11:57:37 2021 +0000 |
| tree | dd7b3f263f705407e1bf9b21b6e93879327799e5 | |
| parent | 79534807a0132d62a258c72088e4fe905867a248 [diff] |
Note that case-insensitive prefixes are already lowercase. Change-Id: Idbccb386ed50cbd3b40c72604aa42f0570e50a89 Reviewed-on: https://code-review.googlesource.com/c/re2/+/59030 Reviewed-by: Paul Wankadia <junyer@google.com>