mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-09 04:37:43 +08:00
It is apparently no longer used after the new slicing support was implemented (a97207b6908f1d4a7d19b37b818367bb0171039f), so let's remove the dead code and see if anything cares.