commit | f8e389f3acdc2517562924239e2a188037393683 | [log] [tgz] |
---|---|---|
author | Paul Wankadia <junyer@google.com> | Wed Feb 24 01:58:12 2021 -0800 |
committer | Paul Wankadia <junyer@google.com> | Wed Feb 24 09:59:19 2021 +0000 |
tree | 69a86732f066ec6224241473df6aac33fbe4413a | |
parent | 377eca0e766aea181a15115689662ba2db5ee474 [diff] |
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>