> On 18 Mar 2024, at 07:27, Peter Eisentraut <pe...@eisentraut.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
