On 18.03.24 09:17, Daniel Gustafsson wrote:
>> On 18 Mar 2024, at 07:27, Peter Eisentraut <peter@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.
Committed.
I was aware of the semantic difference between "||" and "or", and I had
tried to keep it similar to surrounding code.