On 09/24/2018 10:01 AM, Tom Lane wrote:
> Joe Conway <mail@joeconway.com> writes:
>> Having seen none, committed/pushed. This did not seem worth
>> back-patching, so I only pushed to master.
>
> I don't see anything on gitmaster?
Hmm, yes, interesting -- I must of messed up my local git repo somehow.
Will try again.
Joe
--
Crunchy Data - http://crunchydata.com
PostgreSQL Support for Secure Enterprises
Consulting, Training, & Open Source Development