On Sun, Jul 17, 2022 at 07:01:55PM -0700, Andres Freund wrote:
> On 2022-07-17 18:39:35 -0700, Andres Freund wrote:
> > On 2022-07-18 01:05:56 +0000, Andres Freund wrote:
> > > Default to hidden visibility for extension libraries where possible
> >
> > Looking at the odd failures, not sure what went wrong.
>
> I don't know how the configure exec bit got removed, shell history doesn't
I think git reflog -p would help to answer that, but I suppose you already
looked.
--
Justin