On Tue, Feb 08, 2022 at 04:12:26PM -0500, Robert Haas wrote: > After some investigation I've determined that it's no longer Friday > afternoon.
This matches my analysis. > I also spent time investigating whether the patch had > problems that would make me uncomfortable with the idea of committing > it, and I did not find any. So, I committed it. Thanks! -- Nathan Bossart Amazon Web Services: https://aws.amazon.com
