On Fri, Jul 3, 2015 at 6:27 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> 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.
This looks fine to me. Thanks.
--
Michael