mirror of
https://github.com/postgres/postgres.git
synced 2025-11-25 12:03:53 +03:00
Pointers are all the same size, so it makes no practical difference, but let's be tidy. Found by Coverity, noted off-list by Tom Lane.
44 KiB
44 KiB