Add PostgreSQL version to coverage output Also make overriding the title easier. That helps telling where the report came from and labeling different variants of a report.
Reviewed-by: Michael Paquier <michael.paqu...@gmail.com> Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/d2773f9bcd980cf6ed720928cd0700196608ef19 Modified Files -------------- src/Makefile.global.in | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) -- Sent via pgsql-committers mailing list (pgsql-committers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-committers