> On 18 Jul 2025, at 19:26, Andres Freund <andres@anarazel.de> 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