On 06/06/2024 18:27, Robert Haas wrote:
On Thu, Jun 6, 2024 at 7:32 AM Heikki Linnakangas <hlinn...@iki.fi> wrote:Barring objections, I'll commit this later today or tomorrow. Thanks for the report!Committed.I think you may have forgotten to push.
Huh, you're right. I could swear I did... Pushed now thanks! -- Heikki Linnakangas Neon (https://neon.tech)
