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