mirror of
https://github.com/postgres/postgres.git
synced 2025-11-16 15:02:33 +03:00
that, but it'd be a New Feature, wouldn't it ... in the meantime, avoiding a backend crash seems worthwhile.
that, but it'd be a New Feature, wouldn't it ... in the meantime, avoiding a backend crash seems worthwhile.