On 18.03.24 09:17, Daniel Gustafsson wrote:
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.
Committed.
I was aware of the semantic difference between "||" and "or", and I had
tried to keep it similar to surrounding code.
