mirror of
https://github.com/postgres/postgres.git
synced 2025-06-08 22:02:03 +03:00
Remnants left behind by a323ede2802956f115d71599514fbc01f2575dee Reviewed-by: Michael Paquier <michael.paquier@gmail.com> Reviewed-by: Ryan Murphy <ryanfmurphy@gmail.com>