Alvaro Herrera <[email protected]> writes:
> I think there's hardly much of interest in that branch, so it doesn't
> make sense to waste too much effort on it. However, why would we delete
> it? Just keep it with the manufactured tag and all -- so it is there,
> even if the history is not all that clean. This _is_ an option, right?
That was pretty much my default position; I was just wondering if there
was a consensus to do something else.
regards, tom lane
