On Wed, Feb 16, 2022 at 07:39:26PM -0500, Robert Haas wrote:
> Sorry, I saw that and then forgot about it ... but isn't it 3 days,
> not 4 weeks? In any case, I'm happy to have you take care of it, but I
> can also look at it tomorrow if you prefer.
Ugh. I looked at the top of the thread and saw January the 17th :)
So that means that I need more caffeine. If you are planning to look
at it, please feel free. Thanks!
--
Michael