Rename git_topo_order -> git_changelog, per discussion.
Tom Lane <tgl@sss.pgh.pa.us>
Rename git_topo_order -> git_changelog, per discussion.
Files
| Path | Change | +/− |
|---|---|---|
| src/tools/git_changelog (from src/tools/git_topo_order) | renamed | +9 −3 |
| src/tools/RELEASE_CHANGES | modified | +3 −3 |