mirror of
https://github.com/postgres/postgres.git
synced 2025-11-19 13:42:17 +03:00
driver to be set, and a description of said patch. Please refer to the latter for more information. William -- William Webber william@peopleweb.net.au