mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-09 13:47:32 +08:00
In the backend, this is just to silence coverity warnings, but in the frontend, it's a genuine leak, even if extremely rare. Spotted by Coverity, patch by Michael Paquier.