On 09/24/2018 10:09 AM, Joe Conway wrote:
> 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.
This time it seems to have worked. Sorry for the noise earlier :-/
Joe
--
Crunchy Data - http://crunchydata.com
PostgreSQL Support for Secure Enterprises
Consulting, Training, & Open Source Development