mirror of
https://github.com/postgres/postgres.git
synced 2026-06-22 08:31:21 -04:00
49afd5e9dd
These were probably copied in by accident. From: Clément Prévost <prevostclement@gmail.com>