mirror of
https://github.com/postgres/postgres.git
synced 2025-06-10 09:21:54 +03:00
e0e7b8fa22
Commit a104a017fc5f67ff5d9c374cd831ac3948a874c2 has this check because I added it to the submitted patch before commit, but that was entirely wrongheaded, as explained to me by Ashutosh Bapat, who also wrote this patch.