| commit | 9d26344b893d89fdc74370740cdd9a02354c2e0b | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Mon Aug 26 08:18:11 2019 -0700 |
| committer | Paul Wankadia <junyer@google.com> | Mon Aug 26 15:19:19 2019 +0000 |
| tree | f178ffd335532056b630c86069a45bbd2091a783 | |
| parent | 7a100643c1c82f8eeb2d47b36cf7f8af7d49c5a9 [diff] |
Adjust a thread annotation. Change-Id: Ib7867190116fbc65d404804c4f14392f599d8bd3 Reviewed-on: https://code-review.googlesource.com/c/re2/+/44510 Reviewed-by: Paul Wankadia <junyer@google.com>