> On 29 Jun 2020, at 13:52, Robert Haas <[email protected]> wrote: > On Sun, Jun 28, 2020 at 11:24 AM Hamid Akhtar <[email protected]> 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
