diff options
| author | Peter Eisentraut | 2020-10-14 06:24:54 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2020-10-14 06:24:54 +0000 |
| commit | 39b4a951003a6545268e141272e123929d0d710f (patch) | |
| tree | a1391d596783629a78a1c598179f0a3db4b94a0f /src/backend/executor/execReplication.c | |
| parent | 4e118fc33e3ca5244c11a81a71bd25cf9ed3d484 (diff) | |
Use https for gnu.org links
Mostly already done, but there were some stragglers.
Diffstat (limited to 'src/backend/executor/execReplication.c')
0 files changed, 0 insertions, 0 deletions