diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-07-09 21:51:36 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-07-09 21:53:48 +0200 |
| commit | b641f60425674d737d77abd8c49929d953ea4154 (patch) | |
| tree | 5cdbe4686a258487db4d3cd61f589c45b9db2604 /test/functional/.gitignore | |
| parent | 3a3eabef40979b5b136b8bd81a65c228c8b8895d (diff) | |
| parent | fa324a8b15a4ef4138685b3427c895ec14faf3af (diff) | |
Merge #13481: doc: Rewrite some validation docs as lock annotations
fa324a8b15a4ef4138685b3427c895ec14faf3af doc: Rewrite some validation doc as lock annotations (MarcoFalke)
Pull request description:
#13402 added some lock annotations in comments. This pull removes them and adds clang-readable locking annotations instead.
Tree-SHA512: 2d392efa8ac4978830a9df08b2009e69d6f1ac031f62be2275ae8d7c7e483331c7f8d458d865443af907a7af27a592421c6cca6b2df3f2877e0f369b9198f383
Diffstat (limited to 'test/functional/.gitignore')
0 files changed, 0 insertions, 0 deletions