Dmitry Gozman af0d2936ac cherry-pick(#17912): docs: mention that exact option is ignored for regex		2022-10-07 10:20:11 -07:00
..
src	cherry-pick(#17912): docs: mention that exact option is ignored for regex	2022-10-07 10:20:11 -07:00