mirror of
https://github.com/postgres/postgres.git
synced 2025-12-15 00:03:53 -05:00
This reverts commit efcd5199d8cb8e5098f79b38d0c46004e69d1a46. I rebased my patch series incorrectly. This patch contained unrelated parts from another patch, which made the overall build fail. Revert for now and reconsider.