mirror of
https://github.com/zebrajr/postgres.git
synced 2025-12-06 12:20:15 +01:00
Rebuild HISTORY file to match our official style sheets.
This commit is contained in:
parent
80ec228389
commit
f31a43f9ae