> On 29 Jun 2020, at 13:52, Robert Haas <robertmh...@gmail.com> wrote: > On Sun, Jun 28, 2020 at 11:24 AM Hamid Akhtar <hamid.akh...@gmail.com> wrote:
>> The new status of this patch is: Ready for Committer > > Thanks, but this was committed on June 15th, as per my previous email. > Perhaps I forgot to update the CommitFest application.... Done now, marked as committed. cheers ./daniel
