On Fri, Jul 3, 2015 at 6:27 AM, Tom Lane <t...@sss.pgh.pa.us> wrote: > Michael Paquier <michael.paqu...@gmail.com> writes: >> On Wed, Mar 25, 2015 at 8:26 AM, Tom Lane <t...@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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers