| commit | 00af5b44d36d4f26af30bf1d19707c651a1edf51 | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Sun Jan 05 02:05:32 2020 -0800 |
| committer | Paul Wankadia <junyer@google.com> | Sun Jan 05 10:06:26 2020 +0000 |
| tree | 572ed3bfccb4713ee8e650795f420574ed2c38f1 | |
| parent | f71aaa0be84a7b401bc6494488880f3b17b5bca9 [diff] |
Fix a comment. Change-Id: Ifb948abd79f37d3db9b4b119a07a6c2cec7c0a47 Reviewed-on: https://code-review.googlesource.com/c/re2/+/50010 Reviewed-by: Paul Wankadia <junyer@google.com>