8.5 TODO: Add comments to output indicating version of pg_dump and of the database server

shakahshakah@gmail.com <shakahshakah@gmail.com>

From: "shakahshakah@gmail.com" <shakahshakah@gmail.com>
To: pgsql-hackers@postgresql.org
Date: 2009-09-25T18:52:16Z
Lists: pgsql-hackers
From pg_dump/pg_restore section (9.2 of the Todo page on the
PostgreSQL Wiki), is the following item
  "Add comments to output indicating version of pg_dump and of the
database server"

simply asking for a change to the pg_dump header from:

--
-- PostgreSQL database dump
--

to something like:

-- PostgreSQL database dump
--
-- pg_dump version: 8.5devel
--
-- remote database version: 8.5devel (80500)
--

?