mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-04 05:47:38 +08:00
6ae4d27187
Apparently, it's no longer welcome. Therefore replace it with "pristine", and add some explanatory text while at it. Reported by Brian Williams Discussion: https://postgr.es/m/157313712259.14261.16141263269989647311@wrigleys.postgresql.org