> On 18 Jul 2025, at 19:26, Andres Freund <[email protected]> wrote:
>> Hm, what problem did you encounter? I don't think there should be any >> difficulty? > > Ping? Ugh, In preparing for going on vacation this fell off the radar. I'll try to get to looking at it tomorrow during downtime unless beaten to it. -- Daniel Gustafsson
