diff options
author | Tom Lane | 2022-09-23 22:20:11 +0000 |
---|---|---|
committer | Tom Lane | 2022-09-23 22:20:14 +0000 |
commit | 5f1048881d5f16475b76e168bfe962682c741fb5 (patch) | |
tree | 481179a9714a9d48b40f01dababc3dbc89aa4d8b /src | |
parent | d811ce6ea343fa8a0b6b9cd7e9cddcbdaa27962b (diff) |
Doc: minor cleanups.
Improve a couple of things I noticed while working on v15
release notes.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions