mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-15 10:57:02 +08:00
This was forgotten when the option was added. Author: Michael Banck <michael.banck@credativ.de>
This was forgotten when the option was added. Author: Michael Banck <michael.banck@credativ.de>