mirror of
https://github.com/postgres/postgres.git
synced 2025-12-04 12:02:48 +03:00
The next commit would have complicated two or three algorithms, so take this opportunity to consolidate. No functional changes. Reviewed by John Naylor. Discussion: https://postgr.es/m/20201228043148.GA1053024@rfd.leadboat.com