> On 6 Jul 2023, at 10:12, Peter Eisentraut <peter.eisentr...@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 waiting on author. Fair enough, done. -- Daniel Gustafsson