diff options
| author | Alvaro Herrera | 2017-09-22 11:35:54 +0000 |
|---|---|---|
| committer | Alvaro Herrera | 2017-09-22 11:37:28 +0000 |
| commit | 885cab58115a5af9484926ddee8dca3dc0106c1e (patch) | |
| tree | 7e6579f124faddb14406707b43ab989a8cb2a628 /src/tools/git-external-diff | |
| parent | 47f849a3c9005852926dca551d70ad8111f09f3a (diff) | |
Document further existing locks as wait events
Reported-by: Jeremy Schneider
Author: Michael Paquier
Discussion: https://postgr.es/m/CA+fnDAZaPCwfY8Lp-pfLnUGFAXRu1VfLyRgdup-L-kwcBj8MqQ@mail.gmail.com
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions