On 2026-Mar-03, Chao Li wrote:
> > On Mar 3, 2026, at 18:26, Álvaro Herrera <alvherre@kurilemu.de> wrote:
> >
> > Pushed 0001.
>
> Hi Alvaro, thank you very much for pushing 0001. But I don’t see it. I
> tried to pull master and refresh
> https://git.postgresql.org/cgit/postgresql.git/log/?qt=grep&q=, none
> of them shows 0001 pushed.
Oh, pager decided to intervene and hang the whole thing. Done now.
--
Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/