On Mon, Apr 8, 2019 at 10:24 AM Fujii Masao <masao.fu...@gmail.com> wrote: > > On Mon, Apr 8, 2019 at 5:20 PM Julien Rouhaud <rjuju...@gmail.com> wrote: > > > > On Mon, Apr 8, 2019 at 10:15 AM Fujii Masao <masao.fu...@gmail.com> wrote: > > > > > > But it has not been actually pushed into the community's git > > > repository yet.That's maybe because it's been a while since > > > my last commit and my commit bit is temporarily limited? > > > Anyway the patch has been pushed before April 8th 0:00 in AoE. > > > > Indeed, there's no mail yet, but I can see the commit at > > https://git.postgresql.org/gitweb/?p=postgresql.git;a=commit;h=119dcfad988d5b5d9f52b256087869997670aa36 > > Thanks for the info, so I marked the patch as committed.
FTR I just received the notification email, and it's also up at https://www.postgresql.org/message-id/E1hDOzB-0000pO-ED%40gemulon.postgresql.org!
