mirror of
https://github.com/postgres/postgres.git
synced 2026-06-08 00:28:59 -04:00
Peter Eisentraut
340de72780
FOP issues warnings about them. These aren't even used, so just remove them. For the ones that are actually used, we'll come up with a different solution. Discussion: https://www.postgresql.org/message-id/flat/e29b580e-79ab-a371-5ea4-6946e4d3af0b%402ndQuadrant.com