diff options
author | Alvaro Herrera | 2021-11-16 16:30:37 +0000 |
---|---|---|
committer | Alvaro Herrera | 2021-11-16 16:30:37 +0000 |
commit | ad26ee28250c4cd357a7420161a2be321c3dd536 (patch) | |
tree | a141cddeb537d2444522b6e51ac604bdfeaecc9f /src/tools/git-external-diff | |
parent | e51c46991f0ee99cca222305619dee5543a1290a (diff) |
Fix headerscheck failure in replication/worker_internal.h
Broken by 31c389d8de91
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions