diff options
| author | Bruce Momjian | 2019-05-21 20:45:48 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2019-05-21 20:45:48 +0000 |
| commit | 8e719d33fd253fc378871ba4dbf2de41fd2ba462 (patch) | |
| tree | 93614540375b69cd92122cc71c806bfe1e508b48 /src/tools/git-external-diff | |
| parent | 3468a04a3e498bab755909505e8f7b6023bea493 (diff) | |
docs: PG 12 relnote adjustments based on feedback from Tom Lane
Discussion: https://postgr.es/m/22793.1558399695@sss.pgh.pa.us
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions