> On 18 Mar 2024, at 07:27, Peter Eisentraut <peter(at)eisentraut(dot)org> wrote:
> After some pondering, I figured the exclude list is better.
Agreed.
> So here is a squashed patch, also with a complete commit message.
Looks good from a read-through. It would have been nice to standardize on
using one of "|| die" and "or die" consistently but that's clearly not for this
body of work.
--
Daniel Gustafsson