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(dot)paquier(at)gmail(dot)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(-)