tree d2732670f60197aa1626fa7ff47aa79e91ab9ae4
parent 05faa8db3a964918db24003c4614b701b7bbd08a
author Paul Wankadia <junyer@google.com> 1580799573 -0800
committer Paul Wankadia <junyer@google.com> 1580799666 +0000

Tweak some of the comments about FilteredRE2.

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