"Greg Burd" <greg@burd.me> writes:
> What this patch does is get "unicorn" off the dead list, which would be nice.
Indeed ... I'm getting pretty tired of seeing unicorn cluttering
the BF failures list. Is there a reason we're still holding off
committing, other than it being holiday season?
regards, tom lane