Michael Paquier <michael.paquier@gmail.com> writes:
> On Wed, Mar 25, 2015 at 8:26 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> ... So attached is a patch that adds VERSION_NUM in
> Makefile.global.
While there was not exactly universal consensus that we need this, the
patch as given is merely two lines, so it seems awfully cheap to Just
Do It. Hence, I've gone ahead and committed it. If we start getting
complaints about use-cases this doesn't cover, we can re-discuss whether
it's worth doing more.
regards, tom lane