mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-08 14:57:35 +08:00
I inadvertently broke a few days ago (per report from Sean Thomas). Add regression test case to try to catch any similar breakage in future.