tree f178ffd335532056b630c86069a45bbd2091a783
parent 7a100643c1c82f8eeb2d47b36cf7f8af7d49c5a9
author Paul Wankadia <junyer@google.com> 1566832691 -0700
committer Paul Wankadia <junyer@google.com> 1566832759 +0000

Adjust a thread annotation.

Change-Id: Ib7867190116fbc65d404804c4f14392f599d8bd3
Reviewed-on: https://code-review.googlesource.com/c/re2/+/44510
Reviewed-by: Paul Wankadia <junyer@google.com>