On Tue, May 23, 2023 at 04:25:59PM +0200, Christoph Berg wrote:> I believe this issue is still open for PG16.
Right. I've added an item to the list, to not forget.--Michael