On Sun, Oct 1, 2017 at 8:10 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> configure --with-extra-version=whateveryouwant
I see that this build option has been around since 9.4; is anyone
using it to mark patched production builds? EnterpriseDB or
2ndQuadrant? How about the cloud providers?
-Jeremy
--
http://about.me/jeremy_schneider