On Mon, Apr 14, 2025 at 1:16 PM Daniel Gustafsson <dan...@yesql.se> wrote:
> Just to close the loop, this was done yesterday as 2970c75dd982.

Thanks!

--Jacob


Reply via email to