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
