mirror of
https://github.com/postgres/postgres.git
synced 2025-04-24 10:47:04 +03:00
Restore 4-byte designation for docs. Fix 9.3 doc query to properly pad to four digits. Backpatch to all active branches Per suggestions from Ian Lawrence Barwick