> On 29 Jun 2020, at 13:52, Robert Haas <robertmhaas@gmail.com> wrote:
> On Sun, Jun 28, 2020 at 11:24 AM Hamid Akhtar <hamid.akhtar@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