mirror of
https://github.com/postgres/postgres.git
synced 2026-06-05 07:13:06 -04:00
e937156690
1) Tidies up the Datasource Dialogue now the version options are gone. 2) Tidies a comment in info.c. 3) Increments all version numbers to 07.01.0003 to take account of recent revisions. Regards, Dave Page