mirror of
https://github.com/postgres/postgres.git
synced 2026-06-06 07:42:52 -04:00
eab86897bd
Patch by Yugo Nagata <nagata@sraoss.co.jp>. Confirmed by Amit Langote, who is the original author of the document part.