mirror of
https://github.com/postgres/postgres.git
synced 2025-12-04 00:04:14 -05:00
a portion of a patch recently submitted by Christopher Kings-Lynne. Applied by agreement that this is a bug fix.
a portion of a patch recently submitted by Christopher Kings-Lynne. Applied by agreement that this is a bug fix.