tree 69a86732f066ec6224241473df6aac33fbe4413a
parent 377eca0e766aea181a15115689662ba2db5ee474
author Paul Wankadia <junyer@google.com> 1614160692 -0800
committer Paul Wankadia <junyer@google.com> 1614160759 +0000

Make it easier to swap in a scalable reader-writer mutex.

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