On 2026-Mar-03, Chao Li wrote: > > On Mar 3, 2026, at 18:26, Álvaro Herrera <[email protected]> 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/
