On Fri, Jun 23, 2023 at 10:41:06PM +0200, Peter Eisentraut wrote: > Considering that, yes.
Thanks, applied to 11~13, then. -- Michael
signature.asc
Description: PGP signature
On Fri, Jun 23, 2023 at 10:41:06PM +0200, Peter Eisentraut wrote: > Considering that, yes.
Thanks, applied to 11~13, then. -- Michael
signature.asc
Description: PGP signature