diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2019-10-07 09:44:17 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2019-10-07 09:44:17 +0200 |
| commit | cc4ec2d29ac4f3b8335d1851627a9735b81beb50 (patch) | |
| tree | 3d63b194077fb467958ab426ac4f70c1437d19ad /src/backend/storage/ipc/dsm_impl.c | |
| parent | caa078353ecd1f3b3681c0d4fa95ad4bb8c2308a (diff) | |
Fix incorrect use of term HEAD for Git
HEAD as used here was CVS terminology. Now we mean master.
Diffstat (limited to 'src/backend/storage/ipc/dsm_impl.c')
0 files changed, 0 insertions, 0 deletions