> On 6 Jul 2023, at 10:12, Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com> wrote:
> it would make sense to either close this entry as returned with feedback, or move it to the next commit fest as waiting on author.
Fair enough, done.
--
Daniel Gustafsson